4722 search results - page 395 / 945 » Encoding Program Executions |
172
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
149
click to vote
IFIP
1997
Springer
15 years 10 months ago
1997
Springer
This paper provides a conservative estimation of the required bandwidth for video sources multiplexed according to the bu erless scheme and using the Statistical Bit Rate transfer...
189
click to vote
ISSTA
1993
ACM
15 years 10 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...
144
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Information systems research is concerned with complex imbroglios of human and non-human components. As researchers, we need ways to represent the intricacies of the different sta...
155
click to vote
ISSS
1995
IEEE
15 years 10 months ago
1995
IEEE
{DSP algorithms in most cases are subject to hard real-time constraints. In case of programmable DSP processors, meeting those constraints must be ensured by appropriate code gener...