8083 search results - page 1383 / 1617 » A Formalization of Software Architecture |
180
click to vote
KBSE
2007
IEEE
16 years 28 days 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...
184
click to vote
XPU
2007
Springer
16 years 22 days 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...
208
click to vote
RTSS
2006
IEEE
16 years 19 days 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...
206
click to vote
ASPLOS
2006
ACM
16 years 18 days 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 ...
161
click to vote
ISCAS
2005
IEEE
16 years 7 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...