1148 search results - page 135 / 230 » Software engineering considered harmful |
155
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
198
click to vote
ICESS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Wireless sensor networks (WSNs) are comprised of energy constrained nodes. This limitation has led to the crucial need for energy-aware protocols to produce an efficient ...
131
Voted
ICESS
2007
Springer
15 years 11 months ago
2007
Springer
The performance of existing adders varies widely in their speed and area requirements, which in turn sometimes makes designers pay a high cost in area especially when the delay req...
140
click to vote
ICESS
2007
Springer
15 years 11 months ago
2007
Springer
In an embedded system including a base processor integrated with a tightly coupled accelerator, extracting frequently executed portions of the code (hot portion) and executing thei...
130
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...