2016 search results - page 218 / 404 » Some observations on HC-128 |
156
click to vote
COMPSAC
2006
IEEE
16 years 16 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
196
click to vote
DSN
2006
IEEE
16 years 16 days ago
2006
IEEE
Border Gateway Protocol (BGP) is the standard routing protocol used in the Internet for routing packets between the Autonomous Systems (ASes). It is known that BGP can take hundre...
173
click to vote
SI3D
2006
ACM
16 years 12 days ago
2006
ACM
The ability to represent non-height-field mesostructure details is of great importance for rendering complex surface patterns, such as weave and multilayer structures. Currently,...
187
click to vote
IAT
2005
IEEE
16 years 2 days ago
2005
IEEE
Partially observable Markov decision process (POMDP) is commonly used to model a stochastic environment with unobservable states for supporting optimal decision making. Computing ...
172
click to vote
MSS
2005
IEEE
16 years 1 days ago
2005
IEEE
One of the world’s largest scientific data systems, NASA’s Earth Observing System Data and Information System (EOSDIS) has stored over three petabytes of earth science data in...