Sciweavers

2957 search results - page 348 / 592
» Code analysis and CS-XML
Sort
View
COMPSAC
2009
IEEE
15 years 11 months ago
An Integrated Framework for Checking Concurrency-Related Programming Errors
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
Qichang Chen, Liqiang Wang
177
Voted
ICDAR
2009
IEEE
15 years 11 months ago
Character-SIFT: A Novel Feature for Offline Handwritten Chinese Character Recognition
SIFT descriptor has been widely applied in computer vision and object recognition, but has not been explored in the field of handwritten Chinese character recognition. In this pap...
Zhiyi Zhang, Lianwen Jin, Kai Ding, Xue Gao
ISORC
2009
IEEE
15 years 11 months ago
Marte CCSL to Execute East-ADL Timing Requirements
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
Frédéric Mallet, Marie-Agnès ...
IWPC
2009
IEEE
15 years 11 months ago
Resumption strategies for interrupted programming tasks
Interruptions are a daily reality for professional programmers. Unfortunately, the strategies programmers use to recover lost knowledge and resume work have not yet been well stud...
Chris Parnin, Spencer Rugaber
FGCN
2008
IEEE
197views Communications» more  FGCN 2008»
15 years 11 months ago
Design and Implementation of Hybrid Broadcast Authentication Protocols in Wireless Sensor Networks
The proposed broadcast authentication protocols for wireless sensor networks can be divided into two categories: protocols based on digital signature and protocols based on improv...
Xin Zhao, Xiaodong Wang