1164 search results - page 207 / 233 » Constructive nonlinear dynamics in process systems engineeri... |
230
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
114
click to vote
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...
137
click to vote
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
110
click to vote
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
101
click to vote
PADS
2003
ACM
15 years 5 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...