15778 search results - page 444 / 3156 » Aikido and software engineering |
176
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...
180
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
166
Voted
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au
175
click to vote
AC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
162
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
Subdomains of a program's input space are a concept around which ideas about testing can be organized. This paper considers the questions, "What are the best subdomains ...