Sciweavers

15636 search results - page 436 / 3128
» Modelling by supersaturated designs
Sort
View
FPGA
2011
ACM
321views FPGA» more  FPGA 2011»
14 years 11 months ago
An analytical model relating FPGA architecture parameters to routability
We present an analytical model relating FPGA architectural parameters to the routability of the FPGA. The inputs to the model include the channel width and connection and switch b...
Joydip Das, Steven J. E. Wilton
VL
2009
IEEE
126views Visual Languages» more  VL 2009»
16 years 2 months ago
A graphical approach for modeling time-dependent behavior of DSLs
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
José Eduardo Rivera, Francisco Durán...
190
Voted
DATE
2008
IEEE
167views Hardware» more  DATE 2008»
16 years 2 months ago
Accuracy-Adaptive Simulation of Transaction Level Models
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
Martin Radetzki, Rauf Salimi Khaligh
ASPDAC
2006
ACM
113views Hardware» more  ASPDAC 2006»
16 years 1 months ago
Transition-based coverage estimation for symbolic model checking
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Take...
187
Voted
HICSS
2003
IEEE
105views Biometrics» more  HICSS 2003»
16 years 1 months ago
Experimental Validation of Multidimensional Data Models Metrics
Multidimensional data models are playing an increasingly prominent role in support of day-to-day business decisions. Due to their significance in taking strategic decisions it is ...
Manuel A. Serrano, Coral Calero, Mario Piattini