Sciweavers

3796 search results - page 239 / 760
» Presentations by Programmers for Programmers
Sort
View
108
Voted
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 7 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
ECOOPWEXCEPTION
2006
Springer
15 years 7 months ago
Practical Exception Specifications
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
Donna Malayeri, Jonathan Aldrich
149
Voted
FPL
2006
Springer
158views Hardware» more  FPL 2006»
15 years 7 months ago
Placing Functionality in Fault-Tolerant Hardware/Software Reconfigurable Networks
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
Thilo Streichert
120
Voted
ICDE
2000
IEEE
82views Database» more  ICDE 2000»
15 years 7 months ago
Generalized Isolation Level Definitions
Commercial databases support different isolation levels to allow programmers to trade off consistency for a potential gain in performance. The isolation levels are defined in the ...
Atul Adya, Barbara Liskov, Patrick E. O'Neil
HICSS
1995
IEEE
109views Biometrics» more  HICSS 1995»
15 years 7 months ago
The architecture of an optimistic CPU: the WarpEngine
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...
John G. Cleary, Murray Pearson, Husam Kinawi