1760 search results - page 248 / 352 » A System to Mark Programs Automatically |
139
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
149
click to vote
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
170
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
136
Voted
ARC
2010
Springer
15 years 3 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
151
click to vote
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...