866 search results - page 112 / 174 » A Formal Investigation of |
100
click to vote
PODS
2006
ACM
16 years 7 hour ago
2006
ACM
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
121
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
100
click to vote
ISBRA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We investigate the problem of inferring contiguous ancestral regions (CARs) of the genome of the last common ancestor of all extant amniotes, based on the currently seque...
102
click to vote
RTSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...