11397 search results - page 2008 / 2280 » A Relational Abstraction for Functions |
219
click to vote
ASWSD
2004
Springer
16 years 25 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
204
click to vote
CAISE
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
235
Voted
TLDI
2003
ACM
16 years 21 days ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
204
click to vote
CLOUD
2010
ACM
16 years 16 days ago
2010
ACM
Cloud computing has emerged as a preferred platform for deploying scalable web-applications. With the growing scale of these applications and the data associated with them, scalab...
252
click to vote
CODES
2009
IEEE
16 years 4 days ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...