2482 search results - page 220 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
176
Voted
HIPC
2000
Springer
15 years 10 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...
195
click to vote
CPM
1995
Springer
15 years 10 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...
166
Voted
IPPS
2003
IEEE
15 years 11 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...
143
click to vote
IFIP
2007
Springer
16 years 14 days 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 ...
138
click to vote
CDC
2008
IEEE
16 years 24 days 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...