4743 search results - page 621 / 949 » The PlusCal Algorithm Language |
102
click to vote
ACSD
2010
IEEE
15 years 10 days ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
163
click to vote
APSCC
2010
IEEE
15 years 10 days ago
2010
IEEE
Software as a service (SaaS) is an emerging software framework in which business data and logic typically integrate with other applications. It requires a unified subscriber to des...
110
Voted
CASES
2010
ACM
15 years 9 days ago
2010
ACM
Common generated instruction selections are based on tree pattern matching, but modern and custom architectures feature instructions, which cannot be covered by trees. To overcome...
205
click to vote
DOLAP
2010
ACM
15 years 9 days ago
2010
ACM
Relational database systems have been the dominating technology to manage and analyze large data warehouses. Moreover, the ER model, the standard in database design, has a close r...
124
click to vote
EMSOFT
2010
Springer
15 years 9 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...