1756 search results - page 135 / 352 » Current Directions in Hyper-Programming |
124
click to vote
JAVA
2001
Springer
15 years 8 months ago
2001
Springer
Compile-time program optimizations are similar to poetry: more are written than are actually published in commercial compilers. Hard economic reality is that many interesting opti...
119
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Data interchange in the form of a standard exchange format(SEF) is only a first step towards tool interoperability. Inter-tool communication using files is slow and cumbersome; a ...
148
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Reverse engineering is an imperfect process driven by imperfect knowledge. Most current reverse engineering tools do not adequately consider these inherent characteristics. They f...
208
click to vote
MOBICOM
2000
ACM
15 years 8 months ago
2000
ACM
As the recent denial-of-service attacks on several major Internet sites have shown us, no open computer network is immune from intrusions. The wireless ad-hoc network is particula...
116
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...