Sciweavers

4520 search results - page 655 / 904
» Algebraic Techniques for Timed Systems
Sort
View
WOA
2003
15 years 8 months ago
Agents Ownership Setting by User Fingerprints
— Agent ownership is a difficult task that touches legal domain. Agent ownership implies that a specific person or organization (the owner) is responsible for the agent’s act...
Salvatore Vitabile, Giovanni Pilato, Vincenzo Cont...
MVA
1994
119views Computer Vision» more  MVA 1994»
15 years 8 months ago
Development of Surface Inspection Machine for Organic Photo Conductor(OPC)
The OPC is one of the most important component in the electrophotography process. So far its surface defects which degrade print quality were inspected by human-eye. We have devel...
Osamu Nakayama, Shinji Kobayashi, Katsuyuki Omura,...
COMPSEC
2008
116views more  COMPSEC 2008»
15 years 6 months ago
Enforcing memory policy specifications in reconfigurable hardware
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timo...
PPL
2008
101views more  PPL 2008»
15 years 6 months ago
Skeletal Parallel Programming with OCamlP3l 2.0
Parallel programming has proven to be an effective technique to improve the performance of computationally intensive applications. However, writing parallel programs is not easy, ...
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pie...
RTS
2006
96views more  RTS 2006»
15 years 6 months ago
The TTA's Approach to Resilience after Transient Upsets
Abstract. The Time-Triggered Architecture, as architecture for safety-critical realtime applications, incorporates fault-tolerance mechanisms to ensure correct system operation des...
Wilfried Steiner, Michael Paulitsch, Hermann Kopet...