Sciweavers

8810 search results - page 133 / 1762
» Openness
Sort
View
ERCIMDL
2003
Springer
99views Education» more  ERCIMDL 2003»
15 years 8 months ago
Digitometric Services for Open Archives Environments
We describe “digitometric” services and tools that add value to open-access eprint archives using the Open Archives Initiative (OAI) Protocol for Metadata Harvesting. Celestial...
Tim Brody, Simon Kampa, Stevan Harnad, Les Carr, S...
128
Voted
HYBRID
2003
Springer
15 years 8 months ago
On Systematic Simulation of Open Continuous Systems
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
James Kapinski, Bruce H. Krogh, Oded Maler, Olaf S...
153
Voted
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 8 months ago
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
Daniel Baudisch, Jens Brandt, Klaus Schneider
84
Voted
ACSAC
2002
IEEE
15 years 8 months ago
Malicious Code Detection for Open Firmware
Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating syst...
Frank Adelstein, Matthew Stillerman, Dexter Kozen
ITC
2002
IEEE
86views Hardware» more  ITC 2002»
15 years 8 months ago
Incremental Diagnosis of Multiple Open-Interconnects
With increasing chip interconnect distances, openinterconnect is becoming an important defect. The main challenge with open-interconnects stems from its non-deterministic real-lif...
Jiang Brandon Liu, Andreas G. Veneris, Hiroshi Tak...