5210 search results - page 167 / 1042 » Tools for Distributed Facilitation |
146
click to vote
ISPD
1999
ACM
15 years 8 months ago
1999
ACM
For the development and evaluation of CAD-tools for partitioning, floorplanning, placement, and routing of digital circuits, a huge amount of benchmark circuits with suitable cha...
149
click to vote
ACMSE
2007
ACM
15 years 8 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
186
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
116
click to vote
LREC
2010
15 years 5 months ago
2010
We present LIPS (Lexical Isolation Point Software), a tool for accurate lexical isolation point (IP) prediction in recordings of speech. The IP is the point in time in which a wor...
147
click to vote
ENTCS
2006
15 years 4 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...