706 search results - page 54 / 142 » An Experimental Study on Computer Programming with Linguisti... |
AINA
2005
IEEE
15 years 3 months ago
2005
IEEE
In the present study, THUBioGrid, an experimental distributed computing application for bioinformatics (BioGrid) is proposed. THUBioGrid incorporates directory services (data and ...
SIBGRAPI
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a crude registration algorithm for two partially overlapping range images acquired from a rigid object. Our proposal is characterized by two novel features: drastic dat...
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...
TOPLAS
2002
14 years 9 months ago
2002
A number of existing compiler techniques hinge on the analysis of array accesses in the program. The most important task in array access analysis is to collect the information abo...
IEEEPACT
2006
IEEE
15 years 3 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...