Sciweavers

6308 search results - page 427 / 1262
» Modeling Urgency in Timed Systems
Sort
View
WSC
2007
15 years 9 months ago
Fundamentals of simulation modeling
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
Paul J. Sánchez
SCP
2000
119views more  SCP 2000»
15 years 6 months ago
Automated compositional Markov chain generation for a plain-old telephone system
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
Holger Hermanns, Joost-Pieter Katoen
WETICE
1999
IEEE
15 years 11 months ago
A Workgroup Model for Smart Pushing and Pulling
Our Workgroup Cache system operates as a virtual intranet, introducing a shared cache to members of the same workgroup. Users may be members of multiple workgroups at the same tim...
Gail E. Kaiser, Christopher Vaill, Stephen E. Doss...
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 6 months ago
Ni-MH battery modelling for ambient intelligence applications
Mobile devices, like sensor networks and MEMS actuators use mobile power supplies to ensure energy for their operation. These are mostly batteries. The lifetime of the devices dep...
Domonkos Szente-Varga, Gyula Horvath, Márta...
ICDCS
2012
IEEE
13 years 9 months ago
Combining Partial Redundancy and Checkpointing for HPC
Today’s largest High Performance Computing (HPC) systems exceed one Petaflops (1015 floating point operations per second) and exascale systems are projected within seven years...
James Elliott, Kishor Kharbas, David Fiala, Frank ...