866 search results - page 112 / 174 » A Formal Investigation of |
156
click to vote
PODS
2006
ACM
16 years 6 months 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...
121
click to vote
ICSE
2003
IEEE-ACM
16 years 5 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...
206
click to vote
VMCAI
2010
Springer
16 years 3 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...
160
click to vote
ISBRA
2009
Springer
16 years 18 days 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...
187
Voted
RTSS
2009
IEEE
16 years 17 days 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...