5415 search results - page 206 / 1083 » The Implementation of Functional Programming Languages |
114
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
106
click to vote
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
127
click to vote
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
120
click to vote
SAC
2011
ACM
14 years 4 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
The focus of this study is to explore why public agencies implement enterprise architecture programs and the interoperability challenges they are faced with when governing these p...