Sciweavers

2550 search results - page 114 / 510
» Architecture as Language
Sort
View
118
Voted
SPAA
2010
ACM
15 years 2 months ago
Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures
We present a scheduling algorithm of stream programs for multi-core architectures called team scheduling. Compared to previous multi-core stream scheduling algorithms, team schedu...
JongSoo Park, William J. Dally
105
Voted
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
15 years 7 months ago
Building Compilers by Combining Algebras
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
Garrin Kimmell, Ed Komp, Perry Alexander
ICFEM
2003
Springer
15 years 7 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
95
Voted
IFIP
2009
Springer
15 years 6 months ago
Modeling Virtual Organization Architecture with the Virtual Organization Breeding Methodology
While Enterprise Architecture Modeling (EAM) methodologies become more and more popular, an EAM methodology tailored to the needs of virtual organizations (VO) is still to be devel...
Zbigniew Paszkiewicz, Willy Picard
116
Voted
ICALP
1998
Springer
15 years 5 months ago
A Neuroidal Architecture for Cognitive Computation
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
Leslie G. Valiant