Sciweavers

668 search results - page 67 / 134
» Openness in Higher Education: Open Source, Open Standards, O...
Sort
View
NCA
2006
IEEE
15 years 6 months ago
A System for Secure IP Telephone Conferences
We present a system for secure telephone conferences (stc) over the internet. The system ensures participant authentication via x.509 certificates, such that every participant of...
Axel Treßel, Jorg Keller
INFORMATICALT
2007
101views more  INFORMATICALT 2007»
15 years 13 days ago
Internationalization of Compilers
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...
Valentina Dagiene, Rimgaudas Laucius
PTS
2010
147views Hardware» more  PTS 2010»
14 years 11 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
244
Voted
FPGA
2011
ACM
401views FPGA» more  FPGA 2011»
14 years 4 months ago
LegUp: high-level synthesis for FPGA-based processor/accelerator systems
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C pro...
Andrew Canis, Jongsok Choi, Mark Aldham, Victor Zh...
89
Voted
CIKM
2009
Springer
15 years 3 months ago
A framework for semantic link discovery over relational data
Discovering links between different data items in a single data source or across different data sources is a challenging problem faced by many information systems today. In partic...
Oktie Hassanzadeh, Anastasios Kementsietsidis, Lip...