8627 search results - page 1447 / 1726 » Software Engineering Using RATionale |
192
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
208
click to vote
ASPLOS
2006
ACM
16 years 20 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
168
click to vote
ACSC
2005
IEEE
16 years 10 days ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
208
click to vote
ASPLOS
2004
ACM
16 years 4 days ago
2004
ACM
Maintenance is the dominant source of downtime at high availability sites. Unfortunately, the dominant mechanism for reducing this downtime, cluster rolling upgrade, has two short...
178
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...