Sciweavers

2192 search results - page 139 / 439
» Embedded function composition
Sort
View
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 1 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
189
Voted
SIGMOD
2005
ACM
109views Database» more  SIGMOD 2005»
16 years 28 days ago
Query-Sensitive Embeddings
A common problem in many types of databases is retrieving the most similar matches to a query object. Finding those matches in a large database can be too slow to be practical, es...
Vassilis Athitsos, Marios Hadjieleftheriou, George...
EDBT
2008
ACM
188views Database» more  EDBT 2008»
16 years 27 days ago
FAME-DBMS: Tailor-made Data Management Solutions for Embedded Systems
Data management functionality is not only needed in large-scale server systems, but also in embedded systems. Resource restrictions and heterogeneity of hardware, however, complic...
Marko Rosenmüller, Norbert Siegmund, Horst Sc...
96
Voted
ACIVS
2009
Springer
15 years 7 months ago
Image Categorization Using ESFS: A New Embedded Feature Selection Method Based on SFS
Abstract. Feature subset selection is an important subject when training classifiers in Machine Learning (ML) problems. Too many input features in a ML problem may lead to the so-...
Huanzhang Fu, Zhongzhe Xiao, Emmanuel Dellandr&eac...
118
Voted
FGCN
2008
IEEE
175views Communications» more  FGCN 2008»
15 years 7 months ago
Safeguard Intranet Using Embedded and Distributed Firewall System
Due to the impact of the rapid popularization of Internet and e-commerce, most organizations and enterprises take great effort to protect their information systems against malicio...
Chu-Hsing Lin, Jung-Chun Liu, Chien-Ting Kuo, Mei-...