Sciweavers

1886 search results - page 284 / 378
» Modeling and Enacting Software Processes Using VRPML
Sort
View
CODES
1999
IEEE
15 years 10 months ago
An MPEG-2 decoder case study as a driver for a system level design methodology
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
Pieter van der Wolf, Paul Lieverse, Mudit Goel, Da...
FASE
2009
Springer
15 years 10 months ago
Certification of Smart-Card Applications in Common Criteria
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
Iman Narasamdya, Michaël Périn
MICRO
2010
IEEE
156views Hardware» more  MICRO 2010»
15 years 4 months ago
Explicit Communication and Synchronization in SARC
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
Manolis Katevenis, Vassilis Papaefstathiou, Stamat...
VEE
2009
ACM
146views Virtualization» more  VEE 2009»
16 years 1 months ago
Achieving 10 Gb/s using safe and transparent network interface virtualization
: © Achieving 10 Gb/s using Safe and Transparent Network Interface Virtualization Kaushik Kumar Ram, Jose Renato Santos, Yoshio Turner, Alan L. Cox, Scott Rixner HP Laboratories H...
Kaushik Kumar Ram, Jose Renato Santos, Yoshio Turn...
WECWIS
2006
IEEE
106views ECommerce» more  WECWIS 2006»
16 years 8 days ago
A Feature-based Approach to Electronic Contracts
E-contracts are used to describe the supply and the consumption details of e-services within a business process. The establishment of e-contracts in a given application domain usu...
Marcelo Fantinato, Maria Beatriz Felgar de Toledo,...