2482 search results - page 220 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
138
click to vote
HIPC
2000
Springer
15 years 6 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core and any custom hardware on a single wafer are becoming increasingly common in areas suc...
152
click to vote
CPM
1995
Springer
15 years 6 months ago
1995
Springer
We consider strings which are succinctly described. The description is in terms of straight-line programs in which the constants are symbols and the only operation is the concaten...
126
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper, we study an optimal control problem arising in plasma transport which is governed by a singularly perturbed system. Time-scale separation allows us to focus on a...