15635 search results - page 262 / 3127 » Modelling and Design of VAML |
205
click to vote
DATE
2005
IEEE
16 years 26 days ago
2005
IEEE
Technology Roadmap for Semiconductors (ITRS) clearly identifies the integration of electrochemical and electrobiological techniques as one of the system-level design challenges tha...
217
click to vote
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
214
click to vote
IDEAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Historically, bitmap indexing has provided an important database capability to accelerate queries. However, only a few database systems have implemented these indexes because of t...
284
click to vote
TASE
2011
IEEE
15 years 2 months ago
2011
IEEE
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...
193
click to vote
LCTRTS
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...