Sciweavers

15784 search results - page 721 / 3157
» Mega Software Engineering
Sort
View
FSTTCS
1993
Springer
15 years 11 months ago
Order Structures and Generalisations of Szpilrajn's Theorem
X;R ;R R R X X R R 1 2 1 2 1 1 2 1 2 2 1 2
Ryszard Janicki, Maciej Koutny
ICSE
1992
IEEE-ACM
15 years 11 months ago
A Toolbox for the Verification of LOTOS Programs
This paper presents the tools Ald
Jean-Claude Fernandez, Hubert Garavel, Laurent Mou...
FSEN
2007
Springer
15 years 11 months ago
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme
We formally specify the recent DRM scheme of Nair et al. in the
Muhammad Torabi Dashti, Srijith Krishnan Nair, Hug...
AMAST
2006
Springer
15 years 11 months ago
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...
CODES
2004
IEEE
15 years 11 months ago
Efficient search space exploration for HW-SW partitioning
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...
Sudarshan Banerjee, Nikil D. Dutt