Sciweavers

2752 search results - page 252 / 551
» Rounding to an Integral Program
Sort
View
PERCOM
2007
ACM
16 years 6 months ago
Ontology-Directed Generation of Frameworks for Pervasive Service Development
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
Charles Consel, Wilfried Jouve, Julien Lancia, Nic...
ESOP
2010
Springer
16 years 3 months ago
Formal Verification of Coalescing Graph-Coloring Register Allocation
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...
Andrew W. Appel, Benoît Robillard, Sandrine ...
PADL
2010
Springer
16 years 3 months ago
Prospective Storytelling Agents
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
Gonçalo Lopes, Luís Moniz Pereira
ICRA
2007
IEEE
103views Robotics» more  ICRA 2007»
16 years 27 days ago
Realization of Dynamics Simulator Embedded Robot Brain for Humanoid Robots
— This paper proposes the new robot programming environment in which robot motion programming environment and dynamics simulator are integrated. This allows robot motion programs...
Takashi Ogura, Kei Okada, Masayuki Inaba
ICALT
2006
IEEE
16 years 19 days ago
Implementation of a Personalized Assessment Web Service
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...
Lilia Cheniti-Belcadhi, Nicola Henze, Rafik Braham