Sciweavers

5838 search results - page 607 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
ICTAC
2009
Springer
16 years 1 months ago
Input-Output Model Programs
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
Margus Veanes, Nikolaj Bjørner
171
Voted
GECCO
2004
Springer
147views Optimization» more  GECCO 2004»
16 years 14 days ago
A Demonstration of Neural Programming Applied to Non-Markovian Problems
Genetic programming may be seen as a recent incarnation of a long-held goal in evolutionary computation: to develop actual computational devices through evolutionary search. Geneti...
Gabriel Catalin Balan, Sean Luke
POPL
1995
ACM
15 years 10 months ago
Parametric Program Slicing
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
John Field, G. Ramalingam, Frank Tip
ACSC
2007
IEEE
16 years 1 months ago
The CRSS Metric for Package Design Quality
Package design is concerned with the determining the best way to partition the classes in a system into subsystems. A poor package design can adversely affect the quality of a sof...
Hayden Melton, Ewan D. Tempero
WWW
2002
ACM
16 years 7 months ago
Multimedia meets computer graphics in SMIL2.0: a time model for the web
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
Patrick Schmitz