1740 search results - page 217 / 348 » A Digital Archive of Research Papers in Computer Science |
188
click to vote
SOFSEM
2012
Springer
14 years 2 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
151
click to vote
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
The Python programming language is typical among dynamic languages in that programs written in it are not susceptible to static analysis. This makes efficient static program compi...
174
click to vote
ACMSE
2009
ACM
16 years 29 days ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...
194
click to vote
CSE
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— Several applications have been proposed for Wireless sensor networks. These include habitat monitoring, structural health monitoring, pipeline (gas, water, and oil) mon...
170
click to vote
ACMSE
2006
ACM
16 years 12 days ago
2006
ACM
We propose an efficient and novel approach for discovering communities in real-world random networks. Communities are formed by subsets of nodes in a graph, which are closely rela...