2030 search results - page 204 / 406 » Designing Complex Software Implementation Programs |
143
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Error correcting codes are widely used in communication and storage applications. Codec complexity has usually been measured with a software implementation in mind. A recent hardw...
149
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
123
click to vote
SOCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...
126
click to vote
ICESS
2007
Springer
15 years 11 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
133
Voted
CODES
2001
IEEE
15 years 8 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...