Sciweavers

543 search results - page 86 / 109
» FMC: An Approach Towards Architecture-Centric System Develop...
Sort
View
IESS
2007
Springer
92views Hardware» more  IESS 2007»
14 years 2 months ago
An Interactive Model Re-Coder for Efficient SoC Specification
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
Pramod Chandraiah, Rainer Dömer
ROBOCUP
1999
Springer
115views Robotics» more  ROBOCUP 1999»
14 years 27 days ago
Robot Football Team from Minho University
This paper describes an Autonomous Mobile Robot team which plays football, developed by the Group of Automation and Robotics at the Industrial Electronics department of the Univers...
Carlos Machado, Ilídio Costa, Sérgio...
ICSE
2001
IEEE-ACM
14 years 1 months ago
Functional Paleontology: System Evolution as the User Sees It
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
Annie I. Antón, Colin Potts
AISADM
2005
Springer
14 years 2 months ago
Evolving Agents: Communication and Cognition
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...
Leonid I. Perlovsky
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
14 years 2 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond