29082 search results - page 5315 / 5817 » The Time-Triggered Model of Computation |
203
click to vote
SSIAI
2002
IEEE
16 years 1 days ago
2002
IEEE
The new image compression standard, JPEG2000, provides higher compression rates for the same visual quality for grayscale and color images than JPEG. JPEG2000 is being adopted for...
168
click to vote
VISUALIZATION
2002
IEEE
16 years 1 days ago
2002
IEEE
Ocean model simulations commonly assume the ocean is hydrostatic, resulting in near zero vertical motion. The vertical motion found is typically associated with the variations of ...
204
click to vote
APN
2010
Springer
15 years 12 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
179
click to vote
CPAIOR
2010
Springer
15 years 12 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...
209
Voted
ECOOP
2010
Springer
15 years 12 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...