770 search results - page 99 / 154 » Abstract Yourself With Modules |
147
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
104
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
140
Voted
JUCS
2008
15 years 2 months ago
2008
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...
128
Voted
VSTTE
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
140
click to vote
RECONFIG
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Integrated circuits for very high-speed telecommunication protocols often use ASICs, due to their strict timing constraints. This scenario is changing, since modern FPGA...