2595 search results - page 367 / 519 » Modes in Asynchronous Systems |
165
click to vote
HVC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
157
click to vote
ICMCS
2006
IEEE
16 years 16 days ago
2006
IEEE
A joint rate-distortion-complexity H.264 motion search framework is proposed to balance the encoder’s coding efficiency and complexity in an embedded system environment. Under ...
168
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
167
click to vote
ISCAS
2006
IEEE
16 years 15 days ago
2006
IEEE
—A novel focal plane imaging sensor capable of real time extraction of polarization information is presented. The imaging system consists of a photo array of 256 by 256 linear cu...
183
click to vote
IV
2006
IEEE
16 years 15 days ago
2006
IEEE
Although Information Visualization claims to provide the means to induce mental models of any kind of data, the visualization of semantic information is still an open field of re...