Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Federico Carpi, Azadeh Khanicheh, Constantinos Mavroidis, Danilo De Rossi |
Silicone made contractile dielectric elastomer actuators inside 3-Tesla MRI environment. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Tomoaki Mashimo, Shigeki Toyama, Hiroshi Matsuda |
Development of rotary-linear piezoelectric actuator for MRI compatible manipulator. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Laurent Doyen 0001, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov |
Interface theories with component reuse. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
interfaces, composition, refinement |
13 | Stefan Pusca, Theodora Toma |
Computational Model for the Study of the Fractal Parameters Characteristic for the Surface of Titanium Dental Implants. |
BIRD |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Houbin Li, Xiaohui Zhang, Wenjuan Gu, Shengping Yi, Chi Huang |
The Preparation and Characterization of a Compatibilizer: Silicon Dioxide Nanoparticles Grafted with L-Lactic Acid Oligomer. |
CSSE (6) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Mikko Rönkkö, Antero Järvi, Markus M. Mäkelä |
Measuring and Comparing the Adoption of Software Process Practices in the Software Product Industry. |
ICSP |
2008 |
DBLP DOI BibTeX RDF |
Rasch model, XP, software process improvement, agile methods, Scrum, CMMI, survey research, scale development |
13 | Dong Wang 0022, Xiaobing Liu, Duanpeng Wang, Jianmin Li 0001, Bo Zhang 0010 |
SemanGist: A Local Semantic Image Representation. |
PCM |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Bradley Wehrwein, Gilberto Matos, Rajanikanth Tanikella |
A Requirements-Driven and Collaborative Decision Support Approach for Evaluating the Viability of Candidate Implementation Technologies. |
EDOC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha |
The design and implementation of microdrivers. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
reliability, device drivers, program partitioning |
13 | Michael Thonhauser, Christian Kreiner, Egon Teiniker, Gernot Schmoelzer |
Data Model Driven Enterprise Service Bus Interceptors. |
EUROMICRO-SEAA |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Stephen S. Yau, Junwei Liu |
Service Functionality Indexing and Matching for Service-Based Systems. |
IEEE SCC (1) |
2008 |
DBLP DOI BibTeX RDF |
Service Indexing, Services, Service Matching, Service Functionality |
13 | Todd J. Foster, Dennis L. Lastor, Padmaraj Singh |
First Silicon Functional Validation and Debug of Multicore Microprocessors. |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Shibaji Banerjee, Dipanwita Roy Chowdhury, Bhargab B. Bhattacharya |
An Efficient Scan Tree Design for Compact Test Pattern Set. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
13 | En-Hui Yang, Xiang Yu 0001 |
Rate Distortion Optimization for H.264 Interframe Coding: A General Framework and Algorithms. |
IEEE Trans. Image Process. |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Hamilton Y. Chong, Steven J. Gortler, Todd E. Zickler |
The von Kries Hypothesis and a Basis for Color Constancy. |
ICCV |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Peng Men, Zhenhua Duan, Bin Yu |
Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
ontology, semantic web services, matchmaking, fuzzy petri net |
13 | Nathan Clark, Amir Hormati, Sami Yehia, Scott A. Mahlke, Krisztián Flautner |
Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping. |
HPCA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Maria Pavlis Korres |
On the requirements of Learning Object Metadata for adults' educators of special groups. |
MTSR |
2007 |
DBLP DOI BibTeX RDF |
|
13 | William Bradley Glisson, L. Milton Glisson, Ray Welland |
Secure Web Application Development and Global Regulation. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Weidlich 0001, Gero Decker, Mathias Weske |
Efficient Analysis of BPEL 2.0 Processes Using p-Calculus. |
APSCC |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid |
Privacy-Aware Web Service Protocol Replaceability. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Zhiyong Shan, Qiuyue Wang, Xiaofeng Meng 0001 |
An OS Security Protection Model for Defeating Attacks from Network. |
ICISS |
2007 |
DBLP DOI BibTeX RDF |
Access Control, information flow |
13 | Li Zhang 0034, Chris R. Jesshope |
On-Chip COMA Cache-Coherence Protocol for Microgrids of Microthreaded Cores. |
Euro-Par Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Gale D. Fritsche, Sara K. Rodgers |
Encryption technologies: testing and identifying campus needs. |
SIGUCCS |
2007 |
DBLP DOI BibTeX RDF |
breach, mandate, privacy, evaluation, protection, compliance, sensitive data |
13 | Francesco Ciraulo, Giovanni Sambin |
Finiteness in a Minimalist Foundation. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
minimalist foundation, finite subsets, type theory, constructive mathematics, finite sets |
13 | Yufeng Wang 0001, Yoshiaki Hori, Kouichi Sakurai |
On Characterizing Economic-Based Incentive-Compatible Mechanisms to Solving Hidden Information and Hidden Action in Ad Hoc Network. |
UIC |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Puttipong Mahasukhon, Michael Hempel, Song Ci, Hamid Sharif |
Comparison of Throughput Performance for the IEEE 802.11a and 802.11g Networks. |
AINA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Y. Narahari, Nikesh Kumar Srivastava |
A Bayesian Incentive Compatible Mechanism for Decentralized Supply Chain Formation. |
CEC/EEE |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Gang Li, Steven W. Zucker |
Contextual Inference in Contour-Based Stereo Correspondence. |
Int. J. Comput. Vis. |
2006 |
DBLP DOI BibTeX RDF |
position disparity, orientation disparity, stereo correspondence, relaxation labeling, curve matching |
13 | Emanuela P. Lins, Ulrik Pagh Schultz |
Supporting transparent evolution of component interfaces. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Mohamad Badra |
Feedback Stabilization of the 3-D Navier-Stokes Equations Based on an Extended System. |
Systems, Control, Modeling and Optimization |
2006 |
DBLP DOI BibTeX RDF |
Feedback stabilization, Navier-Stokes equation, Riccati equation |
13 | Virginio Cantoni, Luca Lombardi, Paolo Lombardi |
Most minutiae-based matching algorithms confront. |
ICPR (4) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Zhenghao Zhang, Yuanyuan Yang 0001 |
Enhancing downlink performance in wireless networks by simultaneous multiple packet transmission. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Lihui Lei, Zhenhua Duan, Bin Yu |
Semantic Matching of Web Services for Collaborative Business Processes. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | F. Betül Atalay, David M. Mount |
The Cost of Compatible Refinement of Simplex Decomposition Trees. |
IMR |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Arielle Drummond, Timothy Bachman, James F. Antaki |
Three-Dimensional Virtual Anatomic Fit Study for an Implantable Pediatric Ventricular Assist Device. |
International Conference on Computational Science (4) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Gang Li, Steven W. Zucker |
Surface Geometric Constraints for Stereo in Belief Propagation. |
CVPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Deokjai Choi 0001, Hongseok Jang, Kugsang Jeong, Punghyeok Kim, Soo-Hyung Kim |
Delivery and Storage Architecture for Sensed Information Using SNMP. |
APNOMS |
2006 |
DBLP DOI BibTeX RDF |
sensed information management, sensor network management, SNMP |
13 | Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten |
Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems. |
SC@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Thomas A. Henzinger, Slobodan Matic |
An Interface Algebra for Real-Time Components. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Alanna Zito, Zinovy Diskin, Jürgen Dingel |
Package Merge in UML 2: Practice vs. Theory? |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Young-Jun Seo, Young-Jae Song |
A Study on Automatic Code Generation Tool from Design Patterns Based on the XMI. |
ICCSA (4) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Tim Roughgarden, Mukund Sundararajan |
New trade-offs in cost-sharing mechanisms. |
STOC |
2006 |
DBLP DOI BibTeX RDF |
Braess's Paradox, random graphs, selfish routing |
13 | Yongyan Zheng, Paul Krause |
Asynchronous Semantics and Anti-patterns for Interacting Web Services. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jingshan Huang, Jiangbo Dang, Michael N. Huhns |
Ontology Reconciliation for Service-Oriented Computing. |
IEEE SCC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Venkata Krishnan, David Mayhew |
Localized Congestion Control in Advanced Switching Interconnects. |
IEEE Micro |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Chrisa Tsinaraki, Panagiotis Polydoros, Fotis G. Kazasis, Stavros Christodoulakis |
Ontology-Based Semantic Indexing for MPEG-7 and TV-Anytime Audiovisual Content. |
Multim. Tools Appl. |
2005 |
DBLP DOI BibTeX RDF |
ontologies, segmentation, MPEG-7, semantic indexing, TV-anytime |
13 | Jiwu Shu, Bigang Li, Weimin Zheng |
Design and Implementation of an SAN System Based on the Fiber Channel Protocol. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
FCP, information storage, Network architecture and design, mass storage |
13 | K. Vidyasankar, V. S. Ananthanarayana |
Binding and Execution of Web Service Compositions. |
WISE |
2005 |
DBLP DOI BibTeX RDF |
|
13 | André Rifaut |
Goal-Driven Requirements Engineering for Supporting the ISO 15504 Assessment Process. |
EuroSPI |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Jeremy Condit, George C. Necula |
Data Slicing: Separating the Heap into Independent Regions. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Ivana Ivánová, Margita Vajsablova |
Uncertainty in Position of Objects as an Influence Factor of the Area Value. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Jianqiang Hu, Changguo Guo, Huaimin Wang, Peng Zou |
Web Services Peer-to-Peer Discovery Service for Automated Web Service Composition. |
ICCNMC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Jen-Her Wu, Shu-Ching Wang, Li-Min Lin |
What Drives Mobile Health Care? An Empirical Evaluation of Technology Acceptance. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Md. Musfiquzzaman Akanda, Ben A. Abderazek, Sotaro Kawata, Masahiro Sowa |
An Efficient Dynamic Switching Mechanism (DSM) for Hybrid Processor Architecture. |
EUC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Maria-Florina Balcan, Avrim Blum |
A PAC-Style Model for Learning from Labeled and Unlabeled Data. |
COLT |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Jerzy Konorski |
Noncooperative Channel Contention in Ad Hoc Wireless LANs with Anonymous Stations. |
IWDC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Pavan Balaji, Wu-chun Feng, Qi Gao 0004, Ranjit Noronha, Weikuan Yu, Dhabaleswar K. Panda 0001 |
Head-to-TOE Evaluation of High-Performance Sockets over Protocol Offload Engines. |
CLUSTER |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Toshihiko Koju, Shingo Takada 0001, Norihisa Doi |
An efficient and generic reversible debugger using the virtual machine based approach. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
reverse execution, virtual machine, debugger |
13 | Chih-Pin Su, Cheng-Wen Wu |
A Graph-Based Approach to Power-Constrained SOC Test Scheduling. |
J. Electron. Test. |
2004 |
DBLP DOI BibTeX RDF |
test integration, test scheduling, test access mechanism (TAM), SOC testing, test power, system-on-chip (SOC) |
13 | Rafa Lange, Lukasz Blaszak, Marek Domanski |
Simple AVC-based codecs with spatial scalability. |
ICIP |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Tiziana Margaria |
Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?. |
ISORC |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Vijay D'Silva, S. Ramesh 0001, Arcot Sowmya |
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Sriram Krishnan, Dennis Gannon |
XCAT3: A Framework for CCA Components as OGSA Services. |
HIPS |
2004 |
DBLP DOI BibTeX RDF |
Babel, XSOAP, GSX, Web Services, Grids, Components, OGSA, CCA, OGSI |
13 | Crystal R. Miller, Henry R. Bent |
OS X: a ten-step program. |
SIGUCCS |
2004 |
DBLP DOI BibTeX RDF |
OS X, public laboratories, radmind, printing, Macintosh |
13 | Luca Cabibbo, Riccardo Torlone |
On the Integration of Autonomous Data Marts. |
SSDBM |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett |
A user-centred approach to functions in Excel. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga |
Resource Interfaces. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Jeffrey Shneidman, David C. Parkes |
Using redundancy to improve robustness of distributed mechanism implementations. |
EC |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Moshe Babaioff, William E. Walsh |
Incentive-compatible, budget-balanced, yet highly efficient auctions for supply chain formation. |
EC |
2003 |
DBLP DOI BibTeX RDF |
auctions, mechanism design, supply chain formation |
13 | Ning Chen 0005, Xiaotie Deng, Hong Zhu 0004 |
Double Auction in Two-Level Markets. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Samitha Samaranayake, Emil Gizdarski, Nodari Sitchinava, Frederic Neuveux, Rohit Kapur, Thomas W. Williams |
A Reconfigurable Shared Scan-in Architecture. |
VTS |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
Synchronous and Bidirectional Component Interfaces. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Michael Gschwind, Erik R. Altman |
Precise Exception Semantics in Dynamic Compilation. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Adronis Niyonkuru, Göran Eggers, Hans Christoph Zeidler |
A Reconfigurable Processor Architecture. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga |
Timed Interfaces. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Dongman Lee, Hyewon Shin, Soon J. Hyun, Younghee Lee, Myungchul Kim, Hee Yong Youn |
Extensions to DNS for Supporting Internationalized Domain Names. |
ICOIN (2) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Nam-Kyung Lee, Ho-Jin Lee, Ho-kyum Kim, Soo-Hoan Chae |
Coopration System of DSM-CC Data Carousel and MPEG-4 System via Satellite. |
ITCC |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Gregor von Laszewski, Jarek Gawor, Carlos J. Peña, Ian T. Foster |
InfoGram: A Grid Service that Supports Both Information Queries and Job Execution. |
HPDC |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Juan Manuel Sáez, Francisco Escolano |
Monte Carlo Localization in 3D Maps Using Stereo Vision. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Marco Bernardo 0001, Francesco Franzè |
Architectural Types Revisited: Extensible And/Or Connections. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Michael Gschwind, Erik R. Altman |
Optimization and precise exceptions in dynamic compilation. |
SIGARCH Comput. Archit. News |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Emile Hsieh, Vladimir Pentkovski, Thomas Piazza |
ZR: a 3D API transparent technology for chunk rendering. |
MICRO |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Deepak Bansal, Hari Balakrishnan, Sally Floyd, Scott Shenker |
Dynamic behavior of slowly-responsive congestion control algorithms. |
SIGCOMM |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Minzhe Zhao, Mingshu Li 0001 |
T.120/H.32x-based Multimedia Conferencing Desig. |
CSCWD |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Artur Chojnacki, Lech Józwiak |
Multi-Valued Sub-Function Encoding in Functional Decomposition Based on Information Relationships Measures. |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Ilker Hamzaoglu, Janak H. Patel |
Reducing Test Application Time for Built-in-Self-Test Test Pattern Generators. |
VTS |
2000 |
DBLP DOI BibTeX RDF |
Built-in-Self-Test, Test Generation, Combinational Circuits, Test Application Time, Stuck-at Fault Model |
13 | Cheng-Yuan Liou, Hsin-Chang Yang |
Selective Feature-to-Feature Adhesion for Recognition of Cursive Handprinted Characters. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1999 |
DBLP DOI BibTeX RDF |
Handprinted character recognition, signature recognition, cell-cell adhesion, Hopfield network, receptive field, selective attention, topological order, subgraph matching |
13 | S. Bharitkar, Kazuhiro Tsuchiya, Yoshiyasu Takefuji |
Microcode optimization with neural networks. |
IEEE Trans. Neural Networks |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Nicola Nicolici, Bashir M. Al-Hashimi |
Efficient BIST Hardware Insertion with Low Test Application Time for Synthesized Data Paths. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Paulo F. Flores, Horácio C. Neto, Krishnendu Chakrabarty, João Marques-Silva 0001 |
Test pattern generation for width compression in BIST. |
ISCAS (1) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Plagemann, Frank Eliassen, Vera Goebel, Tom Kristensen, Hans Ole Rafaelsen |
Adaptive QoS Aware Binding of Persistent Multimedia Objects. |
DOA |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Twittie Senivongse |
Enabling Flexible Cross-Version Interoperability from Distributed Services. |
DOA |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Martin Büchi, Wolfgang Weck |
Compound Types for Java. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
Java |
13 | Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss |
Type-Based Alias Analysis. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Mark Molloy, Kristy Andrews, James Herren, David Cutler, Paul Del Vigna |
Automatic Interoperability Test Generation for Source-to-Source Translators. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
language conversion, legacy data, source-to-source translation, C++, test generation, automated testing, legacy software |
13 | Qing Guo, Paliath Narendran, Sandeep K. Shukla |
Unification and Matching in Process Algebras. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Richard M. Chou, Kewal K. Saluja, Vishwani D. Agrawal |
Scheduling tests for VLSI systems under power constraints. |
IEEE Trans. Very Large Scale Integr. Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Krishna Ratakonda, S. Yoon, Narendra Ahuja |
Coding the Displaced Frame Difference for Video Compression. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Marenzoni, Giovanni Rimassa, Massimo Bertozzi, Gianni Conte, Pietro Rossi |
An Operating System Support to Low-Overhead Communications in NOW Clusters. |
CANPC |
1997 |
DBLP DOI BibTeX RDF |
|