703 search results - page 73 / 141 » Fundamentals of Session Types |
86
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Floor-planning is a fundamental step in VLSI chip design. Based upon the concept of orderly spanning trees, we present a simple O(n)-time algorithm to construct a floor-plan for a...
113
click to vote
FGCS
2000
15 years 3 months ago
2000
Computer graphics (CGr) lies in the fundaments of computer aided engineering (CAE). As a result from the fast development in both CGr and CAE, more and more computer aided systems...
127
Voted
PC
2002
15 years 3 months ago
2002
: The Logistical Computing and Internetworking (LoCI) project is a reflection of the way that the next generation internetworking fundamentally changes our definition of high perfo...
125
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Bipedal walking could be implemented into a robot by mimicking spring-like leg behaviour. The fundamental model, describing human-like leg function in walking is the bipedal sp...
150
Voted
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...