Sciweavers

1243 search results - page 222 / 249
» FPZL Schedulability Analysis
Sort
View
ETS
2002
IEEE
146views Hardware» more  ETS 2002»
15 years 7 days ago
Teaching Motor Disability Assessment over the Web: MODASPECTRA
MODASPECTRA (MOtor Disability Assessment SPEcialists' TRAining) was a research and technology development project aimed at developing quality teaching and training of post-gr...
Salvatore Valenti, Sandro Fioretti, Maurizio Mauri...
TC
2002
15 years 2 days ago
On Transaction Processing with Partial Validation and Timestamp Ordering in Mobile Broadcast Environments
Conventional concurrency control protocols are inapplicable in mobile broadcast environments due to a number of constraints of wireless communications. Previous studies are focuse...
Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son, Eddi...
TVLSI
2002
130views more  TVLSI 2002»
15 years 2 days ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
IANDC
2010
116views more  IANDC 2010»
14 years 11 months ago
Weak bisimulation is sound and complete for pCTL*
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
Josée Desharnais, Vineet Gupta, Radha Jagad...
IEEECIT
2010
IEEE
14 years 11 months ago
Developing a Cloud Computing Charging Model for High-Performance Computing Resources
Abstract—This paper examines the economics of cloud computing charging from the perspective of a supercomputing resource provider offering its own resources. To evaluate the comp...
Matthew Woitaszek, Henry M. Tufo