Search Results - "Wilsey, P.A."

Fine-tuning optimistic simulation by Radhakrishnan, R., Wilsey, P.A.

“…The chief characteristic that differs markedly between parallel simulation techniques is how they manage process interaction. The linear control models for…”
Get full text

Causality Information and Fossil Collection in Time Warp Simulations by Chetlur, M., Wilsey, P.A.

“…This paper presents a time warp fossil collection mechanism that functions without need for a GVT estimation algorithm. Effectively each logical process (LP)…”
Get full text

Causality and Proactive Cancellation by Chetlur, Malolan, Wilsey, Philip A.

“…Optimistic Time Warp simulators should stop the rapid propagation of incorrect events to avoid reaching a catastrophic state (a state where out of order event…”
Get full text

Applying Parallel, Dynamic-Resolution Simulations to Accelerate VLSI Power Estimation by Rao, D.M., Wilsey, P.A.

“…High resolution models of logic circuits need to be used in simulations to accurately track logic transitions or glitches, which contribute to the most…”
Get full text

The Use of Device Simulation in Development of USB Storage Devices by Anderson, R.B., Borowczak, M., Wilsey, P.A.

“…The modeling and analysis of a USB storage device with a novel protection mechanism is described. The USB storage device contains an active monitoring…”
Get full text

Working Set Based Scheduling in Time Warp Simulations by Chetlur, M., Wilsey, P.A.

“…This paper presents a new scheduling mechanism to choose and process the next input event from the event-set of simulation objects in a logical process (LP)…”
Get full text

A signal processing approach to finite-difference time-domain computations by Gorodetsky, D.A., Wilsey, P.A.

“…The FDTD method is used to find numerical solutions to Maxwell's equations when analytic ones are prohibitive. Brute force approach to the FDTD method requires…”
Get full text

Characterization of the PHOCI/spl trade/ data integrated video sensor technology by Hickey, D.R., Fearing, C.J., Beyette, F.R., Wilsey, P.A.

“…In this article, we report the characterization results of two data integrated video sensors designed by Clifton Labs, Inc. A data integrated video sensor…”
Get full text

A formal specification and verification framework for Time Warp-based parallel simulation by Frey, P., Radhakrishnan, R., Carter, H.W., Wilsey, P.A., Alexander, P.

“…The paper describes a formal framework developed using the Prototype Verification System (PVS) to model and verify distributed simulation kernels based on the…”
Get full text

Accelerating Spatially Explicit Simulations of Spread of Lyme Disease by Rao, Dhananjai M., Wilsey, Philip A.

“…The factors influencing spread of Lyme disease are often studied using computer-based simulations and spatially explicit models. However, simulating large and…”
Get full text

Feedback control in time warp synchronized parallel simulators by Wilsey, P.A.

“…The time warp mechanism is one of the most important synchronization protocols for parallel simulation. However for most applications, the successful use of…”
Get full text

Web-based analyses and distributed IP by Wilsey, P.A.

“…The web presents an opportunity for realizing a distributed design framework supporting multi-disciplinary, multi-organizational collaborative design and…”
Get full text

WARPED: a time warp simulation kernel for analysis and application development by Martin, D.E., McBrayer, T.J., Wilsey, P.A.

“…WARPED is a publically-available time warp simulation kernel for experimentation and application development. The kernel defines a standard interface to the…”
Get full text

Mixed-signal simulation with the Simbus backplane by Hickey, D.R., Wilsey, P.A., Hoekstra, R.J., Keiter, E.R., Hutchinson, S.A., Russo, T.V.

“…In this paper, the Simbus backplane is used in conjunction with SAVANT/TyVIS/WARPED, a parallel VHDL simulator, and Xyce, a parallel SPICE simulation engine,…”
Get full text

Redesigning the WARPED simulation kernel for analysis and application development by Martin, D.E., Wilsey, P.A., Hoekstra, R.J., Keiter, E.R., Hutchinson, S.A., Russo, T.V., Waters, L.J.

“…WARPED is a publicly available time warp simulation kernel. The kernel defines a standard interface to the application developer and is designed to provide a…”
Get full text

SIMD processors-expanding its horizons by emulating others by Martin, D.E., Wilsey, P.A.

“…Parallel processing has established itself as the key enabling technology for the future of high performance computing. A parallel machine can be abstracted as…”
Get full text

VHDL semantics and validating transformations by Pandey, S.L., Umamageswaran, K., Wilsey, P.A.

“…Formal models are used to provide an unambiguous definition of the semantics of very high speed integrated circuit hardware description language (VHDL) and to…”
Get full text

Parallel co-simulation of conventional and active networks by Madhava Rao, D., Wilsey, P.A.

“…Discrete event simulations are widely used to study and analyze active and conventional networking architectures and protocols. Active networks must coexist…”
Get full text

Modeling and simulation of active networks by Rao, D.M., Wilsey, P.A.

“…Active networking techniques embed computational capabilities into conventional networks thereby massively increasing the complexity and customization of the…”
Get full text

Optimistic fossil collection for time warp simulation by Young, C.H., Wilsey, P.A.

“…Optimistic fossil collection (OFC) is a fully-distributed mechanism to reclaim memory from the state and event histories of a time warp simulation. Each fossil…”
Get full text