Sciweavers

11345 search results - page 232 / 2269
» Foundations of Computer Science
Sort
View
SIGCSE
2002
ACM
153views Education» more  SIGCSE 2002»
15 years 6 months ago
A communication library to support concurrent programming courses
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...
Steve Carr, Changpeng Fang, Tim Jozwowski, Jean Ma...
ASM
2004
ASM
15 years 12 months ago
Observations on the Decidability of Transitions
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
Yuri Gurevich, Rostislav Yavorskiy
CBSE
2011
Springer
14 years 6 months ago
Rectifying orphan components using group-failover in distributed real-time and embedded systems
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
Sumant Tambe, Aniruddha S. Gokhale
GI
2009
Springer
15 years 4 months ago
The B-Fabric Life Sciences Data Management System
Can Türker, Dieter Joho, Fuat Akal, Christian...
HPDC
2012
IEEE
13 years 9 months ago
Dynamic adaptive virtual core mapping to improve power, energy, and performance in multi-socket multicores
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
Chang Bae, Lei Xia, Peter A. Dinda, John R. Lange