1855 search results - page 185 / 371 » Composing model programs for analysis |
198
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
189
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...
184
click to vote
WSC
2000
15 years 7 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
200
click to vote
TSP
2008
15 years 4 months ago
2008
A new hierarchical nonparametric Bayesian framework is proposed for the problem of multi-task learning (MTL) with sequential data. The models for multiple tasks, each characterize...
157
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...