2433 search results - page 357 / 487 » Power laws in software |
156
click to vote
VMCAI
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
172
click to vote
CODES
2006
IEEE
16 years 14 days ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...
166
click to vote
CODES
2006
IEEE
16 years 14 days ago
2006
IEEE
The use of Application Specific Instruction-set Processors (ASIP) is a solution to the problem of increasing complexity in embedded systems design. One of the major challenges in...
173
click to vote
SKG
2006
IEEE
16 years 13 days ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
166
click to vote
ASPLOS
2006
ACM
16 years 12 days ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...