1106 search results - page 103 / 222 » Software That Can Think and Do |
155
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
173
click to vote
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
193
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
168
click to vote
ICRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
166
click to vote
SIGCOMM
1997
ACM
15 years 10 months ago
1997
ACM
For some time, the networking communityhas assumed that it is impossible to do IP routing lookups in software fast enough to support gigabit speeds. IP routing lookups must nd th...