1342 search results - page 81 / 269 » MEMS Design And Verification |
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
Verification of image processing systems is mainly done on the basis of image sequence simulations. To achieve high simulation efficiency, our compiled code simulator MSIPC offers...
DICS
2006
14 years 11 months ago
2006
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
ICSE
2008
IEEE-ACM
15 years 10 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...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...