2777 search results - page 35 / 556 » Example centric programming |
DAC
1996
ACM
14 years 2 months ago
1996
ACM
In order to optimize interconnect to avoid signal integrity problems, very fast and accurate 3-D capacitance extraction is essential. Fast algorithms, such as the multipole or prec...
MANSCI
2008
13 years 9 months ago
2008
We study an iterative cutting-plane algorithm on an integer program, for minimizing the staffing costs of a multiskill call center subject to service-level requirements which are e...
AAAI
2000
13 years 11 months ago
2000
The mobile robot programming problem is a software engineering challenge that is not easily conquered using contemporary software engineering best practices. We propose robot obse...
AAMAS
2011
Springer
13 years 1 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...