3718 search results - page 110 / 744 » IMPS: System Description |
137
click to vote
WICSA
2004
15 years 5 months ago
2004
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....
132
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
133
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
es of circulant matrices. Our class is broader than just circulants, and we study patterned systems using abstract algebra, specifically the observation that a set of matrices with...
137
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
165
click to vote
UAI
2007
15 years 5 months ago
2007
This paper is part of a project to match descriptions of real-world instances and probabilistic models, both of which can be described at mulvel of abstraction and detail. We use ...