61 search results - page 3 / 13 » An Algebraic Characterization of Data and Timed Languages |
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Framework-intensive applications (e.g., Web applications) heavily use temporary data structures, often resulting in performance bottlenecks. This paper presents an optimized blend...
PADL
2004
Springer
14 years 1 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— We report on a custom designed system for the deposition and characterization of polypyrrole bilayer actuators. Unlike conventional commercial electrochemical cells and potenti...
ESOP
1990
Springer
13 years 11 months ago
1990
Springer
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however e...