8083 search results - page 1383 / 1617 » A Formalization of Software Architecture |
195
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
207
click to vote
XPU
2007
Springer
16 years 1 months ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
230
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Modern FPGA devices, which include (multiple) processor core(s) as diffused IP on the silicon die, provide an excellent platform for developing custom multiprocessor systems-on-pr...
228
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
191
click to vote
ISCAS
2005
IEEE
16 years 25 days ago
2005
IEEE
— Open source software are becoming more widely-used, notably in the server and desktop applications. For embedded systems development, usage of open source software can also red...