10072 search results - page 1442 / 2015 » Composition of Model Programs |
210
click to vote
HYBRID
2004
Springer
16 years 18 days ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
189
click to vote
IFIP
2004
Springer
16 years 17 days ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
206
click to vote
COMPSAC
2003
IEEE
16 years 15 days ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
210
click to vote
ISQED
2003
IEEE
16 years 14 days ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
241
click to vote
NDSS
2003
IEEE
16 years 14 days ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...