275 search results - page 15 / 55 » Practical Advances in Asynchronous Design |
ECOOP
2012
Springer
12 years 1 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
ICFP
2005
ACM
14 years 11 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
VLDB
1990
ACM
14 years 2 months ago
1990
ACM
Non-monotonic knowledge evolutions and exceptions constitute a complex theoritical and practical problem. The state of the art shows a rich and surprising diversity of approaches....
ICRA
1998
IEEE
14 years 3 months ago
1998
IEEE
Tolerancing decisions can profoundly impact the quality and cost of electro-mechanical assemblies. Existing approaches to tolerance analysis and synthesis in design entail detailed...
ITC
1998
IEEE
14 years 3 months ago
1998
IEEE
Advances in semiconductor process and design technology enable the design of complex system chips. Traditional IC design, in which every circuit is designed from scratch and reuse...