2797 search results - page 108 / 560 » Code query by example |
165
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
101
Voted
DCC
2007
IEEE
16 years 2 months ago
2007
IEEE
Many data compression methods cannot remove all redundancy from a file that they compress because it can be encoded to many compressed files. In particular, we consider the redund...
92
Voted
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Correlated steganography considers the case in which the cover Work is chosen to be correlated with the covert message that is to be hidden. The advantage of this is that, at leas...
146
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
107
Voted
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...