Sciweavers

2007 search results - page 350 / 402
» Using general-purpose programming languages for FPGA design
Sort
View
VEE
2012
ACM
239views Virtualization» more  VEE 2012»
12 years 5 months ago
Transparent dynamic instrumentation
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
Derek Bruening, Qin Zhao, Saman P. Amarasinghe
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 7 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
ICDE
2001
IEEE
129views Database» more  ICDE 2001»
14 years 11 months ago
High-Performance, Space-Efficient, Automated Object Locking
The paper studies the impact of several lock manager designs on the overhead imposed to a persistent programming language by automated object locking. Our study reveals that a loc...
Grzegorz Czajkowski, Laurent Daynès
IFIP
2009
Springer
14 years 4 months ago
Contextual Inquiry in Signal Boxes of a Railway Organization
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
Joke Van Kerckhoven, Sabine Geldof, Bart Vermeersc...
MEDINFO
2007
13 years 11 months ago
The openEHR Java Reference Implementation Project
The openEHR foundation has developed an innovative design for interoperable and future-proof Electronic Health Record (EHR) systems based on a dual model approach with a stable re...
Rong Chen, Gunnar O. Klein