7167 search results - page 283 / 1434 » A Technique for Invariant Generation |
183
click to vote
ASPLOS
1991
ACM
15 years 11 months ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
199
click to vote
DAC
2008
ACM
15 years 9 months ago
2008
ACM
This paper presents an automated analog synthesis tool for topology generation and subsequent circuit sizing. Though sizing is indispensable, the paper mainly concentrates on topo...
199
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
Recently, generation of novel views from images acquired by multiple cameras has been investigated. It can be applied to telepresence effectively. Most conventional methods need so...
220
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
A problem with many of today's appliance interfaces is that they are inconsistent. For example, the procedure for setting the time on alarm clocks and VCRs differs, even amon...
199
click to vote
AOSD
2009
ACM
16 years 2 months ago
2009
ACM
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...