5863 search results - page 974 / 1173 » On Model-Checking of P Systems |
156
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes the concepts behind and implementation of the multimedia art work Alan01 / AlanOnline, which wakes up the 1952 criminally convicted Alan Turing as a piece of ...
193
click to vote
RTSS
2008
IEEE
16 years 27 days ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
186
click to vote
CODES
2007
IEEE
16 years 26 days ago
2007
IEEE
This article presents a multiprocessor system-on-chip synthesis (MPSoC) algorithm that optimizes system mean time to failure. Given a set of directed acyclic periodic graphs of co...
173
click to vote
HASKELL
2006
ACM
16 years 15 days ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
169
click to vote
STORAGESS
2005
ACM
16 years 2 days ago
2005
ACM
The use of access predictors to improve storage device performance has been investigated for both improving access times, as well as a means of reducing energy consumed by the dis...