1359 search results - page 162 / 272 » Black-Box Program Specialization |
TCS
1998
13 years 9 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
VLC
2002
13 years 9 months ago
2002
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— Within assembly lines, wheel assembly to continuously conveyed car bodies is still executed by human workers using a device that compensates the weight of the wheel. Th...
ENTCS
2010
13 years 7 months ago
2010
mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...
SCP
2011
13 years 5 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...