4480 search results - page 91 / 896 » Prototyping Completion with Constraints Using Computational ... |
101
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...
144
Voted
ICDCSW
2005
IEEE
15 years 9 months ago
2005
IEEE
Recently, context-aware computing with information appliances is the topic of many research efforts. In order to realize context-aware systems, it is necessary to describe rules, ...
155
Voted
DAC
1999
ACM
15 years 8 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
123
Voted
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
159
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
— In this paper we present a novel method for robot path planning based on learning motion patterns. A motion pattern is defined as the path that results from applying a set of ...