5664 search results - page 999 / 1133 » Creativity support tools |
113
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
A number of industry trends are shaping the requirements for IC and electronic equipment design. The density and complexity of circuit technologies have increased to a point where...
143
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
133
click to vote
GI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
155
Voted
COMPGEOM
2004
ACM
15 years 6 months ago
2004
ACM
We introduce a new approach to the problem of collision detection between a rotating milling-cutter of an NC-machine and a model of a solid workpiece, as the rotating cutter conti...
127
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...