3146 search results - page 470 / 630 » The use of compiler optimizations for embedded systems softw... |
172
click to vote
GCSE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...
155
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
165
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
166
click to vote
INTEGRATION
2007
15 years 6 months ago
2007
The Data Encryption Standard (DES) is a cipher that is still used in a broad range of applications, from smartcards, where it is often implemented as a tamperresistant embedded co...
192
click to vote
EPIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...