Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
118 | Paolo Medagliani, Gianluigi Ferrari 0001, Gianpietro Germi, Fabio Cappelletti |
Simulation-assisted analysis and design of STP-based networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 53, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
118 | Blayne E. Mayfield, Timothy B. Baird |
STP: A Simple Theorem Prover for IBM-PC Compatible Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSMALL/PC Symposium ![In: Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, March 28-30, 1990. Crystal City, VA, USA, pp. 98-105, 1990, ACM, 0-89791-347-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
IBM PC, Turbo Pascal |
94 | Luc Luyet, Sacha Varone, Nicolas Zufferey |
An Ant Algorithm for the Steiner Tree Problem in Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutinary Computing, EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog, Valencia, Spain, April11-13, 2007, Proceedings., pp. 42-51, 2007, Springer, 978-3-540-71804-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
94 | Shuji Sannomiya, Yoichi Omori, Makoto Iwata |
A Macroscopic Behavior Model for Self-Timed Pipeline Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: Proceedings of the 17th Workshop on Parallel and Distributed Simulation, PADS 2003, June 10-13, 2003, San Diego, CA, USA, pp. 133-142, 2003, IEEE Computer Society, 0-7695-1970-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
78 | Mehdi Benallegue, Adrien Escande, Sylvain Miossec, Abderrahmane Kheddar |
Fast C1 proximity queries using support mapping of sphere-torus-patches bounding volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 483-488, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
78 | João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo |
Feedback Control of the Software Test Process Through Measurements of Software Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China, pp. 232-241, 2001, IEEE Computer Society, 0-7695-1306-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
76 | Heekyong Park, Jinwook Choi |
Modeling korean clinical records as a simple temporal constraint satisfaction problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2008, Pittsburgh, PA, USA, June 16-20, 2008, pp. 461, 2008, ACM, 978-1-59593-998-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
clinical records, discharge summaries, simple constraint satisfaction problem, stp, temporal information |
62 | Dong Song, Vasilis Z. Marmarelis, Theodore W. Berger |
Parametric and non-parametric modeling of short-term synaptic plasticity. Part I: computational study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 26(1), pp. 1-19, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Poisson random train, Volterra kernels, Facilitation, Nonlinear modeling, Depression |
62 | Fan Yan, Kai-Hau Yeung |
The development of novel switching devices by using embedded microprocessing system running linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-6, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Wenjie Zhang, Jianzhong Li 0001, Wei Zhang 0017 |
Spatio-temporal Pattern Query Processing based on Effective Trajectory Splitting Models in Moving Object Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (2) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 2, pp. 540-547, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
62 | Parveen Patel, Andrew Whitaker, David Wetherall, Jay Lepreau, Tim Stack |
Upgrading transport protocols using untrusted mobile code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003, pp. 1-14, 2003, ACM, 1-58113-757-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
untrusted mobile code, implementation, transport protocols, deployment, TCP-friendliness |
59 | Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin |
Verifying The Correctness Of Cryptographic Protocols Using "Convince". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 12th Annual Computer Security Applications Conference (ACSAC 1996), 9-13 December 1996, San Diego, CA, USA, pp. 117-128, 1996, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support |
47 | Eric S. K. Yu |
Social Modeling for System Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 2, pp. 225, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Ahmed Sobeih, Michel Hack, Zhen Liu 0001, Li Zhang 0002 |
Almost Peer-to-Peer Clock Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-10, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Marcin Kuropatwinski, W. Bastiaan Kleijn |
Estimation of the short-term predictor parameters of speech under noisy conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 14(5), pp. 1645-1655, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Ding-Zhu Du, Lusheng Wang, Baogang Xu |
The Euclidean Bottleneck Steiner Tree and Steiner Tree with Minimum Number of Steiner Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings, pp. 509-518, 2001, Springer, 3-540-42494-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Ugo A. Buy, Robert H. Sloan |
Analysis of Real-Time Programs with Simple Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994, pp. 228-239, 1994, ACM, 0-89791-683-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
45 | Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri |
Experiences in automating the testing of SS7 signalling transfer points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 154-158, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
STP, signaling system 7, signalling system 7, automation, SS7 |
31 | Namrata Vaswani |
Particle Filtering for Large-Dimensional State Spaces With Multimodal Observation Likelihoods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(10-1), pp. 4583-4597, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Vijay Ganesh, David L. Dill |
A Decision Procedure for Bit-Vectors and Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 519-531, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Bui Quang Hung, Masanori Otsubo, Yoshinori Hijikata, Shogo Nishida |
Extraction of Anchor-Related Text and Its Evaluation by User Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (8) ![In: Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part I, pp. 446-455, 2007, Springer, 978-3-540-73344-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
semantic text portion, user study, text mining, web mining, link structure, anchor |
31 | Juan M. Cebrian, Juan L. Aragón, José M. García 0001 |
Leakage Energy Reduction in Value Predictors through Static Decay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-7, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Anand Srinivas, Gil Zussman, Eytan H. Modiano |
Mobile backbone networks --: construction and maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 7th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2006, Florence, Italy, May 22-25, 2006, pp. 166-177, 2006, ACM, 1-59593-368-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
disk cover, approximation algorithms, wireless networks, distributed algorithms, controlled mobility |
31 | Daming Xu, Jun Ni |
A Numerical Approach of Direct-SIMPLE Deduced Pressure Equations to Simulations of Transport Phenomena During Shaped Casting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (2) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 2, pp. 815-821, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Augusto Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante |
Software test program: a software residency experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 611-612, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software residency, training experience, software engineering |
31 | Chito Jovellanos |
ContextMetricsTM: Semantic and Syntactic Interoperability in Cross-Border Trading Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 20th International Conference on Data Engineering, ICDE 2004, 30 March - 2 April 2004, Boston, MA, USA, pp. 808-811, 2004, IEEE Computer Society, 0-7695-2065-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Haroldo G. Santos, Luiz Satoru Ochi, Marcone J. F. Souza |
An Efficient Tabu Search Heuristic for the School Timetabling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEA ![In: Experimental and Efficient Algorithms, Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings, pp. 468-481, 2004, Springer, 3-540-22067-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur |
Monitoring the software test process using statistical process control: a logarithmic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 158-167, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
logarithmic approach, statistical process control, software test process |
31 | Lin Xu, Berthe Y. Choueiry |
A New Efficient Algorithm for Solving the Simple Temporal Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, pp. 212-, 2003, IEEE Computer Society, 0-7695-1912-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Lin Xu, Berthe Y. Choueiry |
Improving Backtrack Search for Solving the TCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 754-768, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Barbara Kreaseck, Dean M. Tullsen, Brad Calder |
Limits of Task-Based Parallelism in Irregular Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISHPC ![In: High Performance Computing, Third International Symposium, ISHPC 2000, Tokyo, Japan, October 16-18, 2000. Proceedings, pp. 43-58, 2000, Springer, 3-540-41128-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré |
An Efficient Algorithm for Temporal Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 28-30, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Yide Wang, Dancheng Li, Chunyan Han, Zhiliang Zhu 0001 |
Research and Application on Automatic Network Topology Discovery in ITSM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS (2) ![In: 9th International Conference on Hybrid Intelligent Systems (HIS 2009), August 12-14, 2009, Shenyang, China, pp. 336-340, 2009, IEEE Computer Society, 978-0-7695-3745-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ITSM, Network Topology Discovery, STP, SNMP |
29 | Ayaz Farooq, Reiner R. Dumke |
Research directions in verification & validation process improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(4), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
STP, TMM, V&V, testing maturity model, verification & validation process, software process, SPI, software process improvement, SP, software test process, test process improvement |
25 | Baoting Li, Danqing Zhang, Pengfei Zhao, Hang Wang, Xuchong Zhang, Hongbin Sun 0001, Nanning Zheng 0001 |
DQ-STP: An Efficient Sparse On-Device Training Processor Based on Low-Rank Decomposition and Quantization for DNN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 71(4), pp. 1665-1678, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Lei Hu, Yonghong Zhang, Jian Zhang, Tianyang Zhang, Xiongkang Song, Xuquan Ji, Shanshan Liu, Zhuofu Li, Weishi Li |
STP-Net: A Signal Prediction Method of Laminar Decompression Robot Based on Swin Transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 2023, pp. 1-20, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Weiwei Han, Yi Li, Zhipeng Zhang, Chengyi Xia |
STP-based verification and synthesis of state opacity for logical finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 641, pp. 119130, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Wei Wu, Haipeng Peng, Fenghua Tong, Lixiang Li 0001 |
Novel Secure Data Transmission Methods for IoT Based on STP-CS With Multilevel Critical Information Concealment Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 10(5), pp. 4557-4578, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Zhe Gao, Jun-e Feng |
A novel method for driven stability of NFSRs via STP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 360(13), pp. 9689-9706, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Jumei Yue, Yongyi Yan, Zengqiang Chen 0001 |
A Simplifying-Matrix Method to Reduce the Storage Complexity in Studying Finite State Machines in the Framework of STP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 70(1), pp. 196-200, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Junjie Ou, Jiahui Sun, Yichen Zhu, Haiming Jin, Yijuan Liu, Fan Zhang 0019, Jianqiang Huang, Xinbing Wang |
STP-TrellisNets+: Spatial-Temporal Parallel TrellisNets for Multi-Step Metro Station Passenger Flow Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 35(7), pp. 7526-7540, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Daizhan Cheng, Min Meng 0003, Xiao Zhang 0007, Zhengping Ji |
Contracted Product of Hypermatrices via STP of Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.11661, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yingbing Chen, Jie Cheng, Lu Gan 0001, Sheng Wang, Hongji Liu, Xiaodong Mei 0001, Ming Liu 0001 |
IR-STP: Enhancing Autonomous Driving with Interaction Reasoning in Spatio-Temporal Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.02850, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Zhenyu Lu, Sihem Mesnager, Tingting Cui, Yanhong Fan 0001, Meiqin Wang |
An STP-based model toward designing S-boxes with good cryptographic properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
25 | Hao Zhang 0073, Jiayi Ma 0001 |
STP-SOM: Scale-Transfer Learning for Pansharpening via Estimating Spectral Observation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 131(12), pp. 3226-3251, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Rui Zhang, Vladimir Y. Mariano |
Research on Time Series Data Prediction Based on STP-GAN Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RICAI ![In: 5th International Conference on Robotics, Intelligent Control and Artificial Intelligence, RICAI 2023, Hangzhou, China, December 1-3, 2023, pp. 819-824, 2023, IEEE, 979-8-3503-5795-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yuqian Guo, Yuhu Wu, Weihua Gui 0001 |
Stability of Discrete-Time Systems Under Restricted Switching via Logic Dynamical Generator and STP-Based Mergence of Hybrid States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(7), pp. 3472-3483, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Zhenyu Lu, Sihem Mesnager, Tingting Cui, Yanhong Fan 0001, Meiqin Wang |
An STP-based model toward designing S-boxes with good cryptographic properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 90(5), pp. 1179-1202, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Göksu Tüysüzoglu, Derya Birant, Volkan Kiranoglu |
Multi-view multi-depth soil temperature prediction (MV-MD-STP): a new approach using machine learning and time series methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Eng. Informatics ![In: Int. J. Intell. Eng. Informatics 10(1), pp. 74-104, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Haidong Xu, Xiaoxia Zhang, Dong Liang, Guoyin Wang 0001 |
Robust-STP: A Robust Seasonal-trend Decomposition Method for Partial Periodic Time Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIS ![In: 8th IEEE International Conference on Cloud Computing and Intelligent Systems, CCIS 2022, Chengdu, China, November 26-28, 2022, pp. 691-695, 2022, IEEE, 978-1-6654-7735-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | R. Krishna Kanth, Akshaya Ramaswamy, Achanna Anil Kumar, Jayavardhana Gubbi, Balamuralidhar P |
STP-Net: Spatio-Temporal Polarization Network for action recognition using polarimetric videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV (Workshops) ![In: IEEE/CVF Winter Conference on Applications of Computer Vision Workshops, WACV - Workshops, Waikoloa, HI, USA, January 4-8, 2022, pp. 767-776, 2022, IEEE, 978-1-6654-5824-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Youhao Yu, Richard M. Dansereau |
STP-DEQ-Net: A Deep Equilibrium Model Based on ISTA Method for Image Compressive Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 30th European Signal Processing Conference, EUSIPCO 2022, Belgrade, Serbia, August 29 - Sept. 2, 2022, pp. 887-891, 2022, IEEE, 978-90-827970-9-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
25 | Xiuli Chai, Xiangcheng Zhi, Zhihua Gan, Yushu Zhang, Yiran Chen 0001, Jiangyu Fu |
Combining improved genetic algorithm and matrix semi-tensor product (STP) in color image encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 183, pp. 108041, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Sharbani Harun, Magiswary Dorasamy, Abdul Aziz Bin Ahmad, Ching Seng Yap, Saida Harguem |
Enterprise resource planning implementation within science and technology park (STP) organisations: an avenue for future research. A systematic review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F1000Research ![In: F1000Research 10, pp. 1148, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Daizhan Cheng, Yuhu Wu, Guodong Zhao, Shihua Fu |
A Comprehensive Survey on STP Approach to Finite Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Sci. Complex. ![In: J. Syst. Sci. Complex. 34(5), pp. 1666-1680, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yu Liu, Huicong Liang, Muzhou Li, Luning Huang, Kai Hu 0001, Chenhe Yang, Meiqin Wang |
STP models of optimal differential and linear trail for S-box based ciphers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 64(5), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Daizhan Cheng, Yuhu Wu, Guodong Zhao, Shihua Fu |
A Comprehensive Survey on STP Approach to Finite Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.16086, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Tianxiang Wang, Qingqing Ma, Jinxi Li |
Optimization of STP Innovation Management Mechanisms Driven by Advanced Evolutionary IoT Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. Neurosci. ![In: Comput. Intell. Neurosci. 2021, pp. 1698089:1-1698089:10, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yoshifumi Okuyama |
Stability Considerations of Discrete Event Dynamic Systems Based on STP and Boolean Networks Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SICE ![In: 60th Annual Conference of the Society of Instrument and Control Engineers of Japan, SICE 2021, Tokyo, Japan, September 8-10, 2021, pp. 125-130, 2021, IEEE, 978-4-9077-6473-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Nicholas Lim, Bryan Hooi, See-Kiong Ng, Xueou Wang, Yong Liang Goh, Renrong Weng, Jagannadan Varadarajan |
STP-UDGAT: Spatial-Temporal-Preference User Dimensional Graph Attention Network for Next POI Recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.07024, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Amar Isli |
Arc-Consistency computes the minimal binarised domains of an STP. Use of the result in a TCSP solver, in a TCSP-based job shop scheduler, and in generalising Dijkstra's one-to-all algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.11508, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Junjie Ou, Jiahui Sun, Yichen Zhu, Haiming Jin, Yijuan Liu, Fan Zhang 0019, Jianqiang Huang, Xinbing Wang |
STP-TrellisNets: Spatial-Temporal Parallel TrellisNets for Metro Station Passenger Flow Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, Virtual Event, Ireland, October 19-23, 2020, pp. 1185-1194, 2020, ACM, 978-1-4503-6859-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Nicholas Lim, Bryan Hooi, See-Kiong Ng, Xueou Wang, Yong Liang Goh, Renrong Weng, Jagannadan Varadarajan |
STP-UDGAT: Spatial-Temporal-Preference User Dimensional Graph Attention Network for Next POI Recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, Virtual Event, Ireland, October 19-23, 2020, pp. 845-854, 2020, ACM, 978-1-4503-6859-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Dmitry Dymov, Yuriy Sheynin, Valentin Olenev |
STP-ISS Transport Protocol Application for SpaceFibre On-Board Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 7th International Conference on Control, Decision and Information Technologies, CoDIT 2020, Prague, Czech Republic, June 29 - July 2, 2020, pp. 914-919, 2020, IEEE, 978-1-7281-5953-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Po-Wen Chi, Ming-Hung Wang, Jing-Wei Guo, Chin-Laung Lei |
MigrateSDN: efficient approach to integrate OpenFlow networks with STP-enabled networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Eng. ![In: Int. J. Comput. Sci. Eng. 20(4), pp. 480-491, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Jie Zhong, Yang Liu 0040, Kit Ian Kou, Liangjie Sun, Jinde Cao |
On the ensemble controllability of Boolean control networks using STP method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 358, pp. 51-62, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Yu Liu, Huicong Liang, Muzhou Li, Luning Huang, Kai Hu 0001, Chenhe Yang, Meiqin Wang |
STP Models of Optimal Differential and Linear Trail for S-box Based Ciphers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 25, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
25 | Liqing Wang, Yang Liu 0040, Zhengguang Wu, Fuad E. Alsaadi |
Strategy optimization for static games based on STP method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 316, pp. 390-399, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Daizhan Cheng, Hongsheng Qi, Zequn Liu |
From STP to game-based control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 61(1), pp. 010201:1-010201:19, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Bjorn Bredthauer, Markus Olbrich, Erich Barke |
STP - A Quadratic VLSI Placement Tool Using Graphic Processing Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 17th International Symposium on Parallel and Distributed Computing, ISPDC 2018, Geneva, Switzerland, June 25-28, 2018, pp. 77-84, 2018, IEEE, 978-1-5386-5330-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Mathew Shaji Kavalekalam, Jesper Kjær Nielsen, Mads Græsbøll Christensen, Jesper Bünsow Boldt |
Model Based Estimation of STP Parameters for Binaural Speech Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 26th European Signal Processing Conference, EUSIPCO 2018, Roma, Italy, September 3-7, 2018, pp. 2479-2483, 2018, IEEE, 978-9-0827-9701-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Gerald Gamrath, Thorsten Koch, Stephen J. Maher, Daniel Rehfeldt, Yuji Shinano |
SCIP-Jack - a solver for STP and variants with parallelization extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. Comput. ![In: Math. Program. Comput. 9(2), pp. 231-296, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Shuo-Han Chen, Chi-Heng Lee, Tseng-Yi Chen, Hsin-Wen Wei, Tsan-sheng Hsu, Wei-Kuan Shih |
Analysis and improvement of the 3-star algorithm for the STP-MSP problem in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: 2017 International Conference on Computing, Networking and Communications, ICNC 2017, Silicon Valley, CA, USA, January 26-29, 2017, pp. 991-995, 2017, IEEE Computer Society, 978-1-5090-4588-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Nadezhda Chumakova, Valentin Olenev, Irina Lavrovskaya |
Conformance testing of the STP-ISS protocol implementation by means of temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FRUCT ![In: 21st Conference of Open Innovations Association, FRUCT 2017, Helsinki, Finland, 6-10 November 2017., pp. 71-78, 2017, IEEE, 978-952-68653-2-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Rehfeldt, Thorsten Koch |
SCIP-Jack - A Solver for STP and Variants with Parallelization Extensions: An Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research Proceedings 2017, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Freie Universiät Berlin, Germany, September 6-8, 2017., pp. 191-196, 2017, Springer, 978-3-319-89919-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Dipanjana Sengupta, Uttam Kumar Bera, Anirban Datta, Amrit Das |
Reduction method of zigzag type-2 uncertain variable and its application in two stage STP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCBI ![In: 5th International Symposium on Computational and Business Intelligence, ISCBI 2017, Dubai, United Arab Emirates, August 11-14, 2017, pp. 139-143, 2017, IEEE, 978-1-5386-1771-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Chih-Hsuan Wang |
Integrating correspondence analysis with Grey relational model to implement a user-driven STP product strategy for smart glasses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 27(5), pp. 1007-1016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Mingui Zhang, Huafeng Wen, Jie Hu |
Spanning Tree Protocol (STP) Application of the Inter-Chassis Communication Protocol (ICCP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7727, pp. 1-25, January 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | H. L. Cai, Yining Chen, Yuewen Liu, Huizhang Shen, Tan Zhang |
STP technology for global financial services: critical success factor, implementation model, and case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Internet Enterp. Manag. ![In: Int. J. Internet Enterp. Manag. 8(4), pp. 299-315, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Shanzhen Yi, Yangfan Xiao |
Spatio-temporal properties (STP) graph model for multiple-entity variables estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geoinformatics ![In: 23rd International Conference on Geoinformatics, Geoinformatics 2015, Wuhan, China, June 19-21, 2015, pp. 1-5, 2015, IEEE, 978-1-4673-7663-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Yuriy Sheynin, Valentin Olenev, Irina Lavrovskaya, Ilya Korobkov, Sergey Kochura, Sergey Openko, Dmitry Dymov |
Second revision of the STP-ISS transport protocol for on-board spacewire networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FRUCT ![In: 17th Conference of Open Innovations Association FRUCT, Yaroslavl, Russia, April 20-24, 2015, pp. 192-200, 2015, IEEE, 978-5-7577-0493-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Aniol Lidon, Marc Bolaños, Markus Seidl, Xavier Giró-i-Nieto, Petia Radeva, Matthias Zeppelzauer |
UPC-UB-STP @ MediaEval 2015 Diversity Task: Iterative Reranking of Relevant Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MediaEval ![In: Working Notes Proceedings of the MediaEval 2015 Workshop, Wurzen, Germany, September 14-15, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Valentin Olenev, Irina Lavrovskaya, Yuriy Sheynin, Ilya Korobkov, Elena Suvorova, Elena Podgornova, Dmitry Dymov, Sergey Kochura |
STP-ISS Transport Protocol for SpaceWire On-Board Networks: Development and Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Real Time Commun. Syst. ![In: Int. J. Embed. Real Time Commun. Syst. 5(4), pp. 45-76, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Hai Fu, Wanrong Yu, Chunqing Wu, Baokang Zhao, Zhenqian Feng |
NC-STP: A High Performance Network Coding Based Space Transport Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASA ![In: Wireless Algorithms, Systems, and Applications - 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014. Proceedings, pp. 34-43, 2014, Springer, 978-3-319-07781-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Mohd Faizal Mubarak, Jamalul-lail Ab Manan, Saadiah Yahya |
An Implementation of a Unified Security, Trust and Privacy (STP) Framework for Future Integrated RFID System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDSE ![In: Future Data and Security Engineering - First International Conference, FDSE 2014, Ho Chi Minh City, Vietnam, November 19-21, 2014, Proceedings, pp. 122-135, 2014, Springer, 978-3-319-12777-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Luca Anselma, Alessandro Mazzei, Luca Piovesan, Franco De Michieli |
Adopting STP for Diet Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHI ![In: 2014 IEEE International Conference on Healthcare Informatics, ICHI 2014, Verona, Italy, September 15-17, 2014, pp. 371, 2014, IEEE Computer Society, 978-1-4799-5701-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Xiaxia Xu, Chenguang Zheng, Tao Zhang 0062 |
Reduction in LFP cross-frequency coupling between theta and gamma rhythms associated with impaired STP and LTP in a rat model of brain ischemia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Neurosci. ![In: Frontiers Comput. Neurosci. 7, pp. 27, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Daizhan Cheng, Tingting Xu |
Application of STP to cooperative games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 10th IEEE International Conference on Control and Automation, ICCA 2013, Hangzhou, China, June 12-14, 2013, pp. 1680-1685, 2013, IEEE, 978-1-4673-4707-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Vijay Ganesh |
STP/HAMPI and Computer Security ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.2989, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
25 | Ilya Korobkov |
SpaceWire network performance evaluation during the streaming STP data transmition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FRUCT ![In: 11th Conference of Open Innovations Association FRUCT, St. Petersburg, Russia, April 23-27, 2012, pp. 71-77, 2012, IEEE, 978-5-8088-0707-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Jamalul-lail Ab Manan, Zubair Ahmad Khattak, Suziah Sulaiman |
Practicable Unified Security, Trust and Privacy (STP) Framework for Federated Access Management (FAM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2012, Liverpool, United Kingdom, June 25-27, 2012, pp. 1411-1416, 2012, IEEE Computer Society, 978-1-4673-2172-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Tao Wu, Feng Ning, Lai-Yuan Xiao, Chuanbo Chen |
STP-CMM: A Grading Practice Capability Maturity Model for Software Talent Cultivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 6(4), pp. 636-642, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Rakesh Ranjan, Fernando Latorre, Pedro Marcuello, Antonio González 0001 |
Fg-STP: Fine-Grain Single Thread Partitioning on Multicores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 17th International Conference on High-Performance Computer Architecture (HPCA-17 2011), February 12-16 2011, San Antonio, Texas, USA, pp. 15-24, 2011, IEEE Computer Society, 978-1-4244-9432-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Milos Jakovljevic, Thomas Magesacher, Klas Ericson, Per Ödling, Per Ola Börjesson, Santiago Zazo |
Common Mode Characterization and Channel Model Verification for Shielded Twisted Pair (STP) Cable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 447-451, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Hossein Hojjat, Hootan Nakhost, Marjan Sirjani |
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 13(13), pp. 2076-2104, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Wayne Huang 0001, Yining Chen, Jarrad Hee |
STP technology: An overview and a conceptual framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Manag. ![In: Inf. Manag. 43(3), pp. 263-270, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Bernhard Goldberger, Gernot Wörther, Michael Weber 0012, Michaela Denk |
An STP-Approach Focused on Customer Preferences for Mobile Business Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bled eConference ![In: 19th Bled eConference: eValues, Bled, Slovenia, June 5-7, 2006, pp. 32, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Jingtao Yao 0001, Wei-Ning Liu |
The STP model for solving imprecise problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2006 IEEE International Conference on Granular Computing, GrC 2006, Atlanta, Georgia, USA, May 10-12, 2006, pp. 683-687, 2006, IEEE, 1-4244-0134-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Hakima Chaouchi, Guy Pujolle |
GBN and STP/SP: beyond TCP/IP crisis over wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 15th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2004, 5-8 September 2004, Barcelona, Spain, pp. 2441-2445, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Alistair N. Coles, David G. Cunningham, Steven G. Methley |
100 MB/s Data Transmission on UTP and STP Cabling for Demand Priority Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 13(9), pp. 1684-1691, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|