3745 search results - page 137 / 749 » Sonic: System Description |
172
click to vote
INTERSENSE
2006
ACM
16 years 14 days ago
2006
ACM
— There is growing interest in the networked sensing community in the technique of macroprogramming, where the end-user can design a system using a high level description without...
137
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
136
click to vote
CONCUR
1990
Springer
15 years 10 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
159
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
The implementation of embedded networked appliances requires a mix of processor cores and HW accelerators on a single chip. When designing such complex and heterogeneous SoCs, the...
173
click to vote
ACL
2004
15 years 8 months ago
2004
In this paper, we describe a new methodology to develop mixed-initiative spoken dialog systems, which is based on the extensive use of simulations to accelerate the development pr...