Sciweavers

377 search results - page 26 / 76
» Corticosteroids Operate as a Switch between Memory Systems
Sort
View
WSC
2007
13 years 9 months ago
Enabling industrial scale simulation/emulation models
OLE Process Control (OPC) is an industry standard that facilitates the communication between PCs and Programmable Logic Controllers (PLC). This communication allows for the testin...
Michael Johnstone, Douglas C. Creighton, Saeid Nah...
HYBRID
2007
Springer
14 years 1 months ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
IEEEPACT
2006
IEEE
14 years 1 months ago
Architectural support for operating system-driven CMP cache management
The role of the operating system (OS) in managing shared resources such as CPU time, memory, peripherals, and even energy is well motivated and understood [23]. Unfortunately, one...
Nauman Rafique, Won-Taek Lim, Mithuna Thottethodi
CODES
2008
IEEE
13 years 9 months ago
A time-predictable system initialization design for huge-capacity flash-memory storage systems
The capacity of flash-memory storage systems grows at a speed similar to many other storage systems. In order to properly manage the product cost, vendors face serious challenges ...
Chin-Hsien Wu
OSDI
1996
ACM
13 years 8 months ago
Online Data-Race Detection via Coherency Guarantees
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
Dejan Perkovic, Peter J. Keleher