6167 search results - page 196 / 1234 » Can Refinement be Automated |
148
click to vote
WSC
2004
15 years 6 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
140
click to vote
INFORMS
2010
15 years 3 months ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
155
click to vote
ACL
2011
14 years 8 months ago
2011
Automated grammar correction techniques have seen improvement over the years, but there is still much room for increased performance. Current correction techniques mainly focus on...
161
click to vote
ASPDAC
2012
ACM
14 years 20 days ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
157
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...