5804 search results - page 1092 / 1161 » Doing more with less |
150
Voted
ESOP
1990
Springer
15 years 10 months ago
1990
Springer
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
175
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
200
Voted
CIE
2007
Springer
15 years 10 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
171
Voted
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Energy consumption is a major issue in dynamically reconfigurable systems because of the high power requirements during repeated configurations. Hardware designs employ low power ...
145
Voted
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Data-ferrying disconnection-tolerant networks allow remote rural areas to access the Internet at very low cost, making them viable alternatives to more expensive access technologi...