1401 search results - page 172 / 281 » Tool Integration for Reasoned Programming |
106
click to vote
ECRTS
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
102
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
Recursive partitioning based placement has a long history, but there has been little consensus on how cut sequences should be chosen. In this paper, we present a dynamic programmi...
96
Voted
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
- Renesas Technology Corp. designers turned to OpenAccess to address the major design challenges with systems on chip for the automotive, wireless, digital consumer and industrial ...
103
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
CHI
2009
ACM
16 years 2 months ago
2009
ACM
Scientists, engineers, and educators commonly need to make graphs that quickly illustrate quantitative ideas yet are not based on specific data sets. We call these graphs quantita...