Sciweavers

425 search results - page 46 / 85
» Controlling a Language Generation Planner
Sort
View
IPSN
2007
Springer
15 years 3 months ago
Design and implementation of a wireless sensor network for intelligent light control
We present the design and implementation of the Illuminator, a preliminary sensor network-based intelligent light control system for entertainment and media production. Unlike mos...
Heemin Park, Jeff Burke, Mani B. Srivastava
CC
1998
Springer
134views System Software» more  CC 1998»
15 years 2 months ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
Hanne Riis Nielson, Flemming Nielson
ESOP
2007
Springer
15 years 3 months ago
Cost Analysis of Java Bytecode
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
DATE
2009
IEEE
126views Hardware» more  DATE 2009»
15 years 4 months ago
Separate compilation and execution of imperative synchronous modules
—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We pr...
Eric Vecchié, Jean-Pierre Talpin, Klaus Sch...
MEMBRANE
2004
Springer
15 years 3 months ago
Inhibiting/De-inhibiting Rules in P Systems
We introduce in the P systems area a mechanism, inspired from neural-cell behavior, which controls computations by inhibiting and de-inhibiting evolution rules. We investigate the ...
Matteo Cavaliere, Mihai Ionescu, Tseren-Onolt Ishd...