Sciweavers

438 search results - page 80 / 88
» Microcode with Embedded Timing Constraints
Sort
View
ASAP
2010
IEEE
148views Hardware» more  ASAP 2010»
15 years 3 months ago
Function flattening for lease-based, information-leak-free systems
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T...
AAAI
2006
15 years 3 months ago
DNNF-based Belief State Estimation
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
Paul Elliott, Brian C. Williams
INTERACT
1997
15 years 3 months ago
GroupScape: Integrating Synchronous Groupware and the World Wide Web
Synchronous groupware applications support people collaborating in real time over a distance. The world wide web supports asynchronous collaboration by allowing people to share dis...
T. C. Nicholas Graham
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 2 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
178
Voted
TCS
2008
15 years 1 months ago
Algorithms for subsequence combinatorics
A subsequence is obtained from a string by deleting any number of characters; thus in contrast to a substring, a subsequence is not necessarily a contiguous part of the string. Co...
Cees H. Elzinga, Sven Rahmann, Hui Wang