Sciweavers

253 search results - page 4 / 51
» Imperative self-adjusting computation
Sort
View
CMSB
2009
Springer
14 years 2 months ago
Dynamic Compartments in the Imperative pi-Calculus
Dynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to expr...
Mathias John, Cédric Lhoussaine, Joachim Ni...
BIRTHDAY
1994
Springer
13 years 11 months ago
Generalizing Cook's Transformation to Imperative Stack Programs
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
Nils Andersen, Neil D. Jones
CHI
2004
ACM
14 years 7 months ago
Categorical imperative NOT: facial affect is perceived continuously
Facial affect (or emotion) recognition is a central issue for many VMC and naturalistic computing applications. Most computational models assume "categorical perception"...
Diane J. Schiano, Sheryl M. Ehrlich, Kyle Sheridan
ACSD
2010
IEEE
215views Hardware» more  ACSD 2010»
13 years 5 months ago
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
Mike Gemunde, Jens Brandt, Klaus Schneider
DBPL
2007
Springer
136views Database» more  DBPL 2007»
14 years 1 months ago
Analysis of Imperative XML Programs
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
Michael G. Burke, Igor Peshansky, Mukund Raghavach...