Sciweavers

3557 search results - page 338 / 712
» Reviews
Sort
View
FAABS
2000
Springer
15 years 11 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck
HUMO
2000
Springer
15 years 11 months ago
Activity Monitoring and Summarization for an Intelligent Meeting Room
Intelligent meeting rooms should support efficient and effective interactions among its occupants. In this paper, we present our efforts toward building intelligent environments u...
Ivana Mikic, Kohsia S. Huang, Mohan M. Trivedi
ISPD
1998
ACM
99views Hardware» more  ISPD 1998»
15 years 11 months ago
New efficient algorithms for computing effective capacitance
We describe a novel iterationless approach for computing the effective capacitance of an interconnect load at a driving gate output. Our new approach is considerably faster than p...
Andrew B. Kahng, Sudhakar Muddu
ICSE
2000
IEEE-ACM
15 years 11 months ago
Software engineering tools and environments: a roadmap
Tools and environments to aid developers in producing software have existed, in one form or another, since the early days of computer programming. They are becoming increasingly c...
Harold Ossher, William H. Harrison, Peri L. Tarr
ASAP
1997
IEEE
92views Hardware» more  ASAP 1997»
15 years 11 months ago
Optimized software synthesis for synchronous dataflow
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward...