Sciweavers

693 search results - page 119 / 139
» A Basic Unit of Computation in Distributed Systems
Sort
View
MIDDLEWARE
2007
Springer
14 years 2 months ago
Interactive Resource-Intensive Applications Made Easy
Snowbird is a middleware system based on virtual machine (VM) technology that simplifies the development and deployment of bimodal applications. Such applications alternate betwee...
H. Andrés Lagar-Cavilla, Niraj Tolia, Eyal ...
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
14 years 12 days ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm
DIALM
2007
ACM
144views Algorithms» more  DIALM 2007»
14 years 18 days ago
Reliable Local Broadcast in a Wireless Network Prone to Byzantine Failures
Reliable broadcast can be a very useful primitive for many distributed applications, especially in the context of sensoractuator networks. Recently, the issue of reliable broadcas...
Vartika Bhandari, Nitin H. Vaidya
CONCUR
2007
Springer
14 years 2 months ago
Rule-Based Modelling of Cellular Signalling
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
Vincent Danos, Jérôme Feret, Walter F...
APPT
2005
Springer
14 years 2 months ago
Static Partitioning vs Dynamic Sharing of Resources in Simultaneous MultiThreading Microarchitectures
Simultaneous MultiThreading (SMT) achieves better system resource utilization and higher performance because it exploits ThreadLevel Parallelism (TLP) in addition to “conventiona...
Chen Liu, Jean-Luc Gaudiot