4934 search results - page 440 / 987 » complexity 2008 |
201
click to vote
FOSSACS
2008
Springer
15 years 9 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
188
click to vote
FPGA
2008
ACM
15 years 9 months ago
2008
ACM
: Modern Field Programmable Gate Arrays (FPGAs) are capable of performing complex discrete signal processing algorithms with clock rates of above 100MHz. This combined with FPGAs l...
224
click to vote
FSE
2008
Springer
15 years 9 months ago
2008
Springer
MD4 is a hash function introduced by Rivest in 1990. It is still used in some contexts, and the most commonly used hash function (MD5, SHA-1, SHA-2) are based on the design princip...
241
click to vote
ICWS
2008
IEEE
15 years 9 months ago
2008
IEEE
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...
239
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...