1446 search results - page 175 / 290 » Hardware Software Co-Design Using Functional Languages |
178
click to vote
CASES
2007
ACM
15 years 9 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
144
click to vote
VR
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstraction Layers for VR Application Development Gerwin de Haan∗ Michal Koutek† Frits H. Post‡ Delft University of Technology, The Netherlands The development of domain-spe...
187
click to vote
AOSD
2012
ACM
14 years 21 days ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
139
Voted
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
183
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...