10435 search results - page 1732 / 2087 » Computational Biology and Language |
178
click to vote
VSTTE
2005
Springer
16 years 11 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
203
click to vote
DAC
2004
ACM
16 years 10 days ago
2004
ACM
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....
205
click to vote
DMSN
2004
ACM
16 years 10 days ago
2004
ACM
Recent years have witnessed a rapidly growing interest in query processing in sensor and actuator networks. This is mainly due to the increased awareness of query processing as th...
204
click to vote
POPL
2004
ACM
16 years 9 days ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
203
click to vote
SAC
2004
ACM
16 years 9 days ago
2004
ACM
Being E-commerce one of the most critical Internet application, it is fundamental to employ technologies which guarantee not only secure transactions but also an adequate quality ...