692 search results - page 103 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
120
click to vote
WSC
1997
15 years 1 months ago
1997
This tutorial introduces the MODSIM III language, showing how its simulation "world view" together with its object-oriented architecture and built in graphics contribute...
112
click to vote
AIMS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Wireless Mesh Networks are an increasingly common technology providing connectivity in many communities, particularly where Internet access is unavailable or restricted v...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
109
click to vote
ISMDA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The increasing availability of automated data collection tools, database technologies and Information and Communication Technologies in biomedicine and health care have l...
136
click to vote
ICDT
2010
ACM
15 years 3 months ago
2010
ACM
Stochastic context-free grammars (SCFGs) have long been recognized as useful for a large variety of tasks including natural language processing, morphological parsing, speech reco...