2206 search results - page 243 / 442 » Software Engineering and Modeling Education: Problems and So... |
198
click to vote
RTCSA
2005
IEEE
16 years 4 days ago
2005
IEEE
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
146
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
159
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
In a multiprocessor system-on-chip (MPSoC) private caches introduce the cache coherence problem. Here, we target at heterogeneous MPSoCs with a network-on-chip (NoC). Existing har...
175
click to vote
DBPL
1989
Springer
15 years 10 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
278
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...