4666 search results - page 636 / 934 » Equations on Timed Languages |
196
click to vote
SBCCI
2004
ACM
16 years 6 days ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
173
click to vote
ESORICS
2004
Springer
16 years 5 days ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
148
click to vote
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
We consider hypotheses about nondeterministic computation that have been studied in different contexts and shown to have interesting consequences: • The measure hypothesis: NP d...
167
click to vote
IWMM
2004
Springer
16 years 4 days ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
167
click to vote
SAS
2004
Springer
16 years 3 days ago
2004
Springer
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper, we discuss the potential impact and resear...