1228 search results - page 157 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
135
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
222
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
171
click to vote
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...
202
click to vote
IMC
2009
ACM
16 years 27 days ago
2009
ACM
WLAN devices based on CSMA/CA access schemes have become a fundamental component of network deployments. In such wireless scenarios, traditional networking applications, tools, an...
181
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...