3827 search results - page 151 / 766 » The Epsilon Generation Language |
129
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
145
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
140
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
172
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
140
Voted
PRICAI
2000
Springer
15 years 8 months ago
2000
Springer
As more information becomes available on the World Wide Web, it has become an acute problem to provide effective search tools for information access. Previous generations of search...