6167 search results - page 105 / 1234 » Can Refinement be Automated |
103
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
128
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Stream processing applications such as image signal processing demand high throughput. However, customers increasingly demand runtime flexibility in their designs, which cannot b...
128
Voted
ISSRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
142
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Identifying code implementing a crosscutting concern (CCC) automatically can benefit the maintainability and evolvability of the application. Although many approaches have been p...
135
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we use the CoDeL platform to develop test circuits and analyze the potential and performance impact of power gating individual registers. For each register, we e...