3256 search results - page 464 / 652 » Applications of Formal Methods to System Design and Verifica... |
205
click to vote
TFM
2009
Springer
15 years 12 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
182
click to vote
OPODIS
2004
15 years 6 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
158
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
One of the critical deficiencies of SQL is lack of support for ndimensional array-based computations which are frequent in OLAP environments. Relational OLAP (ROLAP) applications ...
150
click to vote
HPCC
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
176
click to vote
FPL
2009
Springer
15 years 9 months ago
2009
Springer
High-Level Synthesis (HLS) is the field of transforming a high-level programming language, such as C, into a register transfer level(RTL) description of the design. In HLS, Binary...