1127 search results - page 46 / 226 » The XIS Generative Programming Techniques |
BCSHCI
2008
13 years 11 months ago
2008
Programming is an activity centred primarily around the keyboard which is not necessarily the optimal input device for all users. Little research has taken place into alternative ...
FORTE
2008
13 years 11 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
TSE
2008
13 years 9 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
DAGSTUHL
2004
13 years 11 months ago
2004
Abstract. Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling, which limits the choice of available compilation techniques for such...
BTW
1997
Springer
14 years 2 months ago
1997
Springer
Database systems as basis for CAD frameworks have to provide data management as well as transaction management facilities meeting the requirements of design applications. One of t...