Sciweavers

12333 search results - page 329 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
APCCAS
2006
IEEE
251views Hardware» more  APCCAS 2006»
16 years 23 days ago
Implementation of a H.264 decoder with Template-based Communication Refinement
We described an H.264 decoder implemented with our design methodology, in which a system function model of transaction level is first captured in SystemC and refined into RTL with ...
Sang-yong Yoon, Sanggyu Park, Soolk Chae
ICSE
2001
IEEE-ACM
15 years 11 months ago
Traceability for System Families
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...
Detlef Streitferdt
SAC
2005
ACM
16 years 7 days ago
Towards system software for physical space applications
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...
Kaori Fujinami, Tatsuo Nakajima
CCGRID
2001
IEEE
15 years 10 months ago
Software Environments For Cluster-Based Display Systems
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...
Han Chen, Douglas W. Clark, Zhiyan Liu, Grant Wall...
ICST
2009
IEEE
15 years 4 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...